Prolog  Paper

 

Prolog syntax

Prolog ¹®¹ý (Visual Prolog)

³í¸® ÇÁ·Î±×·¡¹Ö ¾ð¾î : Robert W. Sebesta

ÀÚ¿¬¾ð¾îÀÇ ±â°èÀûÀÎ ºÐ¼®°ú »ý¼º : À̹ÎÇà

¼­¼ú³í¸®¸¦ ÀÌ¿ëÇÑ Áö½ÄÀÇ Ç¥±â : Elaine Rich 

³í¸®Àû »ç°í·Â ÇÔ¾çÀ» À§ÇÑ ±³À°¿ë ÇÑ±Û ÇÁ·Ñ·Î±× ¾ð¾îÀÇ »ç¿ëÀÚ ÀÎÅÍÆäÀ̽º ¼³°è¿¡ °üÇÑ ¿¬±¸ (Design of an User Interface of Education Hangul Prolog Language ( EHPL ) for Improving the Ability of Problem Solving) : ±èÅ¿µ, ¾È¼ºÈÆ, ¼ÛÅ¿Á, ÄÄÇ»Åͱ³À°ÇÐȸ, 1999

´Ù±¹¾î Á¤º¸Ã³¸®¸¦ À§ÇÑ ºÒ¾î ±¼ÀýÇüÅÂÀÇ ºÐ¼®°ú ÇÁ·Ñ·Î±× ó¸®¿ë ±¼Àý ±ÔÄ¢ (Analyse flexionelle du francais et Regles flexionnelles en PROLOG pour le TAILN) : ¼­·¡¿ø, ÀÓÁ¾º¸, ºÒ¾îºÒ¹®Çבּ¸, 1999

ÇÁ·Ñ·Î±×¿¡¼­ Áõ¸íÀÇ ¼ö¸¦ È¿°úÀûÀ¸·Î Á¦¾îÇϱâ À§ÇÑ ¹æ¹ý (An Efficient Method for Controlling the Number of Proofs in Prolog) : ³²¿µ±¤, Çѱ¹Á¤º¸Ã³¸®ÇÐȸ, 1997

³í¸®¾ð¾î Prolog ÀÇ ÀÎÅÍ³Ý ÀÎÅÍÆäÀ̽º °³¹ß : ½Åµ¿ÇÏ, ±ÇÁö¼÷, »ó¸í´ë ÀÚ¿¬°úÇבּ¸, 1999

È®·üÀû ¸íÁ¦³í¸® ÇÁ·Î±×·¡¹Ö : ½Å¾ç±Ô, Çѱ¹µ¥ÀÌÅÍÁ¤º¸°úÇÐȸ, 1995

±¹¾î '¿Í/°ú' ¹®ÀåÀÇ Åë»ç·Ð°ú Àǹ̷Р- ¾îÈÖÁÖÀÇÀû ºÐ¼®°ú ÇÁ·Ñ·Î±×·ÎÀÇ ±¸Çö : ¾çÁ¤¼®, Çѱ¹¾ð¾î¹®ÇÐȸ, 1998

»óȲÁ¤º¸¿¡ ±â¹ÝÇÑ Çѱ¹¾î ´ëÈ­ÀÇ Àü»êÀû ó¸®¿Í Ç¥»ó±¸Á¶ÀÇ ±¸Ãà (Computational Processing of Korean Dialogue and the Construction of Its Representation Structure Based on Situational Information) : À̵¿¿µ, Çѱ¹Á¤º¸Ã³¸®ÇÐȸ, 2002