ÀÚµ¿ ¼­ºñ½º ÇÁ·¹ÀÓ¿öÅ© °³¿ä


TPTP´Â ÀÌÁ¾ ȯ°æ¿¡¼­ Eclipse È£½ºÆÃ TPTP ¼­ºñ½ºÀÇ Á¦°ø ¹× ÀÌ¿ëÀ» Áö¿øÇÏ´Â ÀÚµ¿ ¼­ºñ½º ÇÁ·¹ÀÓ¿öÅ©¸¦ Á¦°øÇÕ´Ï´Ù. ÀÌ·¯ÇÑ ¼­ºñ½º´Â ±Ùº»ÀûÀ¸·Î, Áö¿øµÇ´Â Ư¼º ¹× µ¿ÀÛ °è¾à¿¡ ´ëÇÑ ¿¬°ü ½ºÆå°ú ÇÔ²² È®ÀåÀ» ÅëÇØ °ø°³µÇ´Â ºí·¢¹Ú½º ÄÄÆ÷³ÍÆ®À̹ǷΠµ¿ÀÏÇÑ ¼­ºñ½º¸¦ ±¸ÇöÇÏ´Â »õ ¼­ºñ½º Á¦°øÀÚ¸¦ ÀÛ¼ºÇÒ ¼ö ÀÖ½À´Ï´Ù. ÀÌ ±¸Çö Á¢±Ù ¹æ½ÄÀº ¼­ºñ½º ÀÌ¿ëÀÚ¿Í ¼­ºñ½º Á¦°øÀÚ °£¿¡ ´À½¼ÇÑ µ¿Àû ¹ÙÀεùÀ» Çã¿ëÇÕ´Ï´Ù.

TPTP ¼­ºñ½º Ãß»óÀº Ç¥ÁØ À¥ ¼­ºñ½º Ãß»ó°ú ¿ÏÀüÈ÷ ÀÏÄ¡ÇÏÁö´Â ¾Ê½À´Ï´Ù. TPTP´Â ÀÌ·¯ÇÑ ¼­ºñ½º Ãß»óÀ» ÅëÇØ ¼­ºñ½º ÁöÇâ ¾ÆÅ°ÅØÃ³¿¡¼­ ´õ¿í öÀúÇÏ°Ô ¿ªÇÒÀ» ¼öÇàÇÏÁö¸¸ Ç¥ÁØ À¥ ¼­ºñ½º Ã߻󺸴٠´õ °£´ÜÇÏ°í ´Ü¼øÇÏ¸ç ºñÁ¤±ÔÀûÀÔ´Ï´Ù. ÀÚµ¿ ¼­ºñ½º ÇÁ·¹ÀÓ¿öÅ©·Î ¼Ò°³µÈ °³³ä ¹× Ãß»óÀº ¼­ºñ½º ÁöÇâ ¾ÆÅ°ÅØÃ³ÀÇ »óÀ§ ·¹º§ Ãß»ó°ú À¯»çÇÕ´Ï´Ù.

TPTP¸¦ ÀÛ¼ºÇÏ´Â ±â´ÉÀº TPTP Ç÷§ÆûÀ» ½ºÅ©¸³Æ® ¹× Eclipse ¿ÜºÎÀÇ ÀÓÀÇÀÇ ÇÁ·Î±×·¥À¸·Î Á¦¾îÇÒ ¼ö ÀÖ´Â ¼­ºñ½º¸¦ Á¡ÁøÀûÀ¸·Î °³¹ßÇÏ°í °ø°³ÇÕ´Ï´Ù. TPTP Å×½ºÆ® ±â´ÉÀº ÇöÀç TPTP Å×½ºÆ®¸¦ ÇÁ·Î±×·¥ÀûÀ¸·Î À¯¿¬ÇÏ°Ô ½ÇÇàÇϱâ À§ÇÑ Å×½ºÆ® ½ÇÇà ¼­ºñ½º¸¦ Á¦°øÇÕ´Ï´Ù.

ÇÁ·¹ÀÓ¿öÅ© ¾ÆÅ°ÅØÃ³

ÀÚµ¿ ¼­ºñ½º ÇÁ·¹ÀÓ¿öÅ©´Â ÇÁ·¹ÀÓ¿öÅ© ÄÄÆ÷³ÍÆ® °£ ´À½¼ÇÑ °áÇÕÀ» °¡´ÉÇÏ°Ô ÇÏ´Â °èÃþ ±¸Á¶ ¾ÆÅ°ÅØÃ³¸¦ °®½À´Ï´Ù. ¼­ºñ½º ÀÌ¿ëÀÚ ¿äûÀ» ¼­ºñ½º Á¦°øÀÚ ÀÀ´ä(¼­ºñ½º ½ÇÇà)À¸·Î Àü¼ÛÇÏ´Â ¹ö½º´Â °¢ ³¡¿¡¼­ Ŭ¶óÀÌ¾ðÆ® ³¡ÀÇ ¾î´ðÅÍ ¸ðµ¨ ¹× ¼­¹ö ³¡¿¡¼­ ¸ðµ¨À» Á¦°øÇÏ´Â ¼­ºñ½º Á¦°øÀÚ¿ÍÀÇ È®À强À» À§ÇØ Á¦°øÇÕ´Ï´Ù. ¿©±â¼­, Ŭ¶óÀÌ¾ðÆ® ³¡Àº Eclipse ÀνºÅϽº ³»ºÎ¿¡¼­ ½ÇÇàµÇ´Â ÄÚµåÀ̰ųª ¸í·ÉÇà ½ºÅ©¸³Æ®¿Í °°ÀÌ Eclipse ¿ÜºÎ¿¡¼­ ½ÇÇàµÇ´Â ÄÚµåÀÌ¸ç ¼­¹ö ³¡Àº ¼­ºñ½º ±¸ÇöÀ» Á¦°øÇÏ´Â Ç÷¯±×ÀÎÀ» È£½ºÆÃÇÏ´Â Eclipse ÀνºÅϽºÀÔ´Ï´Ù.

TPTP¿¡¼­ Á¦°øÇϴ ǥÁØ ÀÚµ¿ Ŭ¶óÀÌ¾ðÆ® ÀÎÅÍÆäÀ̽º·Î »õ ¼­ºñ½º ÀÌ¿ëÀÚ ÆÐ·¯´ÙÀÓÀ» ¼öÁ¤ÇÏ´Â Ãß°¡ ÀÚµ¿ Ŭ¶óÀÌ¾ðÆ® ¾î´ðÅ͸¦ °³¹ßÇÒ ¼ö ÀÖ½À´Ï´Ù. ¿¹¸¦ µé¾î, Ç¥ÁØ À¥ ¼­ºñ½º ȯ°æ¿¡¼­ TPTP ÀÚµ¿ ¼­ºñ½º¸¦ ½ÇÇàÇÒ ¼ö ÀÖ´Â ½áµåÆÄƼ°¡ À¥ ¼­ºñ½º Ŭ¶óÀÌ¾ðÆ® ÀÚµ¿ ¾î´ðÅ͸¦ °³¹ßÇÒ ¼ö ÀÖ½À´Ï´Ù. ¶Ç´Â Jython ȯ°æ¿¡¼­ÀÇ ¼­ºñ½º ÀÌ¿ëÀ» Áö¿øÇϵµ·Ï Jython Ŭ¶óÀÌ¾ðÆ® ÀÚµ¿ ¾î´ðÅ͸¦ ÀÛ¼ºÇÒ ¼ö ÀÖ½À´Ï´Ù.

»õ·Î¿î Áؼö ÀÚµ¿ ¼­ºñ½º°¡ °ø°³µÊ¿¡ µû¶ó TPTP Eclipse ÀνºÅϽº¿¡¼­ °ø°³ÀûÀ¸·Î »ç¿ëÇÒ ¼ö ÀÖ´Â ¼­ºñ½ºÇ®ÀÌ Áõ°¡Çϸç ÀÌ¿¡ µû¶ó ÀÚµ¿ ¼­ºñ½º ÇÁ·¹ÀÓ¿öÅ©¸¦ ÀÌ¿ëÇÏ´Â °ü·Ã ÀÌ¿ëÀÚ¿¡°Ô ±â´ÉÀ» Á¦°øÇÒ ¼ö ÀÖ´Â ¼­ºñ½º Á¦°øÀÚµµ Áõ°¡ÇÕ´Ï´Ù. ÀÏ¹Ý »ç¿ëÀÚ´Â ÇØ´ç È®ÀåÁ¡À» ±¸ÇöÇϰí Çϳª ÀÌ»óÀÇ Java Ŭ·¡½º¸¦ °³¹ßÇÏ¿© »õ ¼­ºñ½º¸¦ Á¦°øÇÏ´Â Ç÷¯±×ÀÎÀ» ÀÛ¼ºÇÒ ¼ö ÀÖ½À´Ï´Ù. °á°úÀûÀ¸·Î, ¹ö½ºÀÇ ³×ÀÌó¿Í °èÃþ ±¸Á¶ ¾ÆÅ°ÅØÃ³·Î ÀÎÇØ ant ½ºÅ©¸³Æ®, šv ½ºÅ©¸³Æ®, Java ÇÁ·Î±×·¥ ¹× ±âŸ ÀÌ¿ëÀÚ È¯°æ¿¡ ¼³Ä¡µÈ ¸ðµç Ŭ¶óÀÌ¾ðÆ® ¾î´ðÅÍ¿¡¼­ ÀÌ ¼­ºñ½º¸¦ ÀÚµ¿À¸·Î »ç¿ëÇÒ ¼ö ÀÖ°Ô µË´Ï´Ù.

°£´ÜÇÑ ÀÚµ¿ Ŭ¶óÀÌ¾ðÆ® ÄÄÆ÷³ÍÆ®´Â ½Ã³ª¸®¿À¿¡ ¾Ë¸Â´Â Eclipse ½ÇÇà Àü·«À» Á¦°øÇϸç Ŭ¶óÀÌ¾ðÆ® ¾î´ðÅÍ¿¡¼­ »ç¿ëÇÒ Ç¥ÁØ ¼­ºñ½º ÀÎÅÍÆäÀ̽º ¼¼Æ®¸¦ Á¦°øÇÕ´Ï´Ù. ÇöÀç µÎ °¡Áö ½ÇÇà ¹× ÀÌÇà Àü·«ÀÌ Á¦°øµË´Ï´Ù. ÇÑ °¡Áö Àü·«Àº ÇÁ·Î¼¼½º ³»ºÎ ¼­ºñ½º ÀÌ¿ëÀ» À§ÇÑ Àü·«ÀÌ¸ç ´Ù¸¥ Àü·«Àº ÇÁ·Î¼¼½º ¿ÜºÎ ¼­ºñ½º ÀÌ¿ëÀ» À§ÇÑ Àü·«ÀÔ´Ï´Ù. ÀÏ¹Ý Àü·«Àº ÈÄÀÚÀÌ¸ç Æ¯Á¤ Eclipse ÀνºÅϽº ¿ÜºÎ¿¡ Àִ Ŭ¶óÀÌ¾ðÆ®¸¦ Áö¿øÇÕ´Ï´Ù. ÇÁ·Î¼¼½º ³»ºÎ Àü·«Àº È£ÃâÀÚ¿Í µ¿ÀÏÇÑ Eclipse ÀνºÅϽº¿¡¼­ ¼­ºñ½º¸¦ ½ÇÇàÇØ¾ß ÇÏ´Â °æ¿ì »ç¿ëµË´Ï´Ù.

°£´ÜÇÑ ÄÄÆ÷³ÍÆ®´Â º¹ÀâÇÑ ÄÄÆ÷³ÍÆ®¿Í »óÈ£ÀÛ¿ëÇÕ´Ï´Ù. ÈÄÀÚÀÇ °æ¿ì Eclipse¿¡ ´ëÇÑ ÀÇÁ¸µµ°¡ ³ôÀ¸¸ç ÀÌ¿¡ µû¶ó ¿ÜºÎ ÀÚµ¿ Ŭ¶óÀÌ¾ðÆ® ÄÄÆ÷³ÍÆ®ÀÇ ¿ø·¡ ¶óÀ̺귯¸® Á¾¼Ó¼º¿¡ ´ëÇÑ ÀÇÁ¸µµµµ ³ô½À´Ï´Ù. °£´ÜÇÑ ÄÄÆ÷³ÍÆ®¿Í ƯÁ¤ Eclipse ÀνºÅϽº¿ÍÀÇ °áÇÕÀº ÀÚµ¿ Ŭ¶óÀÌ¾ðÆ® ÄÄÆ÷³ÍÆ® ÀνºÅϽº¿¡ ´ëÇØ ¼³Á¤µÉ ¼ö ÀÖ´Â ¹®ÀÚ¿­ ID¸¦ ÅëÇØ¼­¸¸ ¼öÇàµË´Ï´Ù. Eclipse ÀνºÅϽº ³»ºÎ¿¡¼­ È£½ºÆÃµÇ´Â ÀÚµ¿ ¼­¹ö(ÄÄÆ÷³ÍÆ® ¶Ç´Â ºê·ÎÄ¿ ³»ºÎ¿¡¼­´Â º¹ÀâÇÑ ÄÄÆ÷³ÍÆ®¶ó°íµµ ÇÔ)´Â °£´ÜÇÑ ÀÚµ¿ Ŭ¶óÀÌ¾ðÆ® ÄÄÆ÷³ÍÆ®¿¡¼­ ¼ö½ÅµÇ´Â Ä¿¹Â´ÏÄÉÀ̼ÇÀ» ¹Þ°í ¿Ã¹Ù¸¥ ¼­ºñ½º Á¦°øÀÚ(ÀÚµ¿ ¼­ºñ½º¶ó°íµµ ÇÔ)¿¡ ´ëÇÑ È£ÃâÀ» ¸¶¼£¸µÇÕ´Ï´Ù. ÀÚµ¿ ¼­¹ö´Â ¿äûµÈ ¼­ºñ½º¿Í ¿äûÀ» ó¸®ÇÏ´Â Java Ŭ·¡½º °£ °£Á¢ ÇൿÀ» Çã¿ëÇÏ´Â ´Ü¼ø È®ÀåÁ¡À» Á¤ÀÇÇÕ´Ï´Ù.

°ü·Ã Ÿ½ºÅ©
½ºÅ©¸³Æ® ¹× ÀÀ¿ëÇÁ·Î±×·¥¿¡¼­ Å×½ºÆ® ½ÇÇà
Å×½ºÆ® ½ÇÇà ¼­ºñ½º ½ÇÇà

°ü·Ã ÂüÁ¶
Áö¿øµÇ´Â Å×½ºÆ® ½ÇÇà ¼­ºñ½º Ư¼º