Prolog ´Â ³í¸® ÇÁ·Î±×·¥ ¾ð¾î·Î¼­, ±× ¸íĪÀº programmation en logique (ÇÁ¶û½º¾î·Î "logic programming" À̶ó´Â ¶æ) ¿¡¼­ µû¿Â °ÍÀÌ´Ù. 1972³â¿¡ ÇÁ¶û½ºÀÇ Marseille (¸¶¸£¼¼ÀÌÀ¯) ´ëÇп¡¼­ Alain Colmerauer °¡ ¹ß¸íÇÏ¿´´Ù. ÄÄÇ»Åͻ󿡼­ µ¶Æ¯ÇÑ ¸í·É¾î¸¦ »ç¿ëÇÏ´Â °Í ´ë½Å¿¡ Àΰ£ÀÌ »ç¿ëÇÏ´Â ³í¸®Àû Ç¥ÇöÀ» °¡´ÉÇÏ°Ô ÇÑ ÇÁ·Î±×·¥ ¾ð¾î¸¦ ¸¸µé·Á´Â ½Ãµµ¿¡ ÀÇÇÑ °ÍÀÌ´Ù.

lab   paper   site   Lisp

Prolog ´Â ¸¹Àº ÀΰøÁö´É (Artificial Intelligence) ÇÁ·Î±×·¥°ú Àü»ê¾ð¾îÇÐ (Computational Linguistics) (ƯÈ÷ ¿ø·¡´Â ÀÚ¿¬¾îó¸® (Natural Language Processing) ¸¦ À§ÇØ ¸¸µé¾î Á³´Ù) ¿¡¼­ »ç¿ëµÈ´Ù. ¹®¹ý°ú ÀÇ¹Ì (syntax and semantics) ´Â ¸Å¿ì ´Ü¼øÇÏ°í ¸íÈ®ÇÏ´Ù°í »ý°¢µÈ´Ù. (¿ø·¡ÀÇ ¸ñÀûÀº ÄÄÇ»ÅÍ¿¡ ¹®¿ÜÇÑ (computer-illiterate) ÀÎ ¾ð¾îÇÐÀÚ¸¦ À§ÇÑ ÅøÀ» Á¦°øÇÏ´Â °ÍÀ̾ú´Ù). Prolog¸¦ Çö´ëÀûÀÎ ¸ð½ÀÀ¸·Î À̲ö ¸¹Àº ¿¬±¸´Â, 5 ¼¼´ë ÄÄÇ»ÅÍ (Fifth Generation Computer) ÇÁ·ÎÁ§Æ®¿¡¼­ ±× ¿î¿µÃ¼Á¦¸¦ À§ÇÑ Çٽɾð¾î (Kernel Language) ·Î¼­ ´Ù¾çÇÑ Prolog¸¦ ¼±ÅÃÇÏ¿´´ø °ÍÀÇ ÆıÞÈ¿°ú (spin-off effects) À̾ú´Ù.

Prolog ´Â ¼ú¾î³í¸® (Predicate Calculus) (´õ Á¤È®ÇÏ°Ô´Â ÀÏÂ÷³í¸® (First-order Predicate Calculus)) ¿¡ ±â¹ÝÇÑ °ÍÀÌ´Ù ; ±×·¯³ª Prolog ´Â ´ÜÁö Horn Àý (Horn clause) ¸¸À» Çã¿ëÇÏ´Â Á¦ÇÑÀÌ ÀÖ´Ù. Prolog ÇÁ·Î±×·¥ÀÇ ½ÇÇàÀº first-order resolution ¿¡ ÀÇÇÑ Á¤¸®Áõ¸í (Theorem Proving) À» È¿À²ÀûÀ¸·Î ÀÀ¿ëÇÑ °ÍÀÌ´Ù. ±âº»ÀûÀÎ °³³äµéÀº ´ÜÀÏÈ­ (Unification), tail recursion, ¿ªÃßÀû (backtracking) ÀÌ´Ù ....... (Wikipedia : Prolog)

Prolog ´Â Programming in LogicÀÇ ¾àÀÚ·Î 1971³â¿¡ ÇÁ¶û½ºÀÇ Marseille(¸¶¸£¼¼ÀÌÀ¯) ´ëÇп¡¼­ Alain Colmerauer ¿Í Phillipe Roussel ¿¡ ÀÇÇØ °í¾ÈµÇ¾î 1972³â¿¡ ALGOL-W ·Î ÃÖÃÊ·Î ±¸ÇöµÇ¾ú´Ù. ¿ø·¡´Â ÀÚ¿¬¾î 󸮸¦ À§Çؼ­ ¼³°èµÇ¾úÁö¸¸ AI¸¦ À§ÇØ °¡Àå ³Î¸® »ç¿ëµÇ´Â ¾ð¾îÁß Çϳª°¡ µÇ¾ú´Ù. ¼ú¾î³í¸®(predicate logic)·Î ¸íÁ¦¸¦ Ç¥ÇöÇÏ°í, ³í¸®¿¬»ê ±â´ÉÀ» °âºñÇÑ ¾ð¾îÀÌ´Ù. Lisp °ú °°ÀÌ Prolog´Â ½Éº¼ 󸮿ëÀ¸·Î ¸¸µé¾îÁö°í, ¸®½ºÆ® 󸮴 ¸Å¿ì È¿À²ÀûÀÌ´Ù.  PrologÀÇ Å« ÀåÁ¡Àº, ÀԷ¹®À» Àý Çü½ÄÀ¸·Î ³ªÅ¸³»°í ¿¬¿ªÃß·ÐÀ» ÇÑ´Ù. ÆÐÅÏ ¸ÅĪÀ» ÀԷ¹®ÀÇ Â÷·Ê´ë·Î ÇÔÀ¸·Î½á µµÃâ(resolution)ÀÇ Àü·«À» »ç¿ëÀÚ¿¡°Ô ¸Ã°Ü¼­ ½Ã½ºÅÛÀÇ º¹À⼺ÀÌ Çؼҵǰí, ¼Óµµ°¡ Çâ»óµÈ´Ù. º´·ÄŽ»ö¿¡ ÀûÇÕÇÏ°Ô ¼³°èµÇ¾î Àֱ⠶§¹®¿¡ º´·Ä󸮰¡ ÁÖ¿ä ¿ä¼Ò°¡ µÉ ¹Ì·¡ÀÇ ÄÄÇ»ÅÍ¿¡ ÀûÇÕÇÑ ¾ð¾î·Î ¿©°ÜÁö°í ÀÖ´Ù  

video :

Production Prolog : Strange Loop : Michael Hendricks, 2014/09/21