Àü»ê Åë»ç.Àǹ̷РÀ¥»çÀÌÆ®

 

http://www.smart21.kr/synsem

 


 
Àü»ê Åë»ç.Àǹ̷Ð

À̹ÎÇà. 2005. Àü»ê Åë»ç.Àǹ̷Ð. µµ¼­ÃâÆÇ ¿ª¶ô

 

2005³â 7¿ù 1ÀÏ

°ü¸®ÀÚ: À̹ÎÇà

 

Prolog ÄÚµå ¸ñ·Ï

l           ¾Æ·¡ÀÇ ÆÄÀϵéÀ» ¸ðµÎ ´Ù¿î¹Þ¾Æ ÇϳªÀÇ Æú´õ¿¡ ÀúÀåÇÑ ÈÄ

°¢ ÆÄÀÏÀÇ È®ÀåÀÚ¸¦ .pl·Î ¹Ù²Ù¾î ½ÇÇàÇØ¾ß ÇÕ´Ï´Ù.

ÄÚµå¸í

°ü·ÃºÎ·Ï

°ü·Ãº»¹®

tree.pro

A2

Á¦2Àå-12Àå

avm.pro

A2

Á¦4Àå-12Àå

chart.pro

A5

Á¦3Àå

kpsg1.pro

A5.2

Á¦3Àå

lcparser.pro

A6

Á¦3Àå

kpsg2.pro

A8

Á¦3Àå

lfg_kr.pro

A9

Á¦4Àå

eng_fsg.pro

A10

Á¦4Àå

lcsem_e.pro

A11

Á¦6Àå

lambdaPL.pro

A12

Á¦6Àå

ilcp.pro

A13

Á¦7Àå

eilcp.pro

A14

Á¦8Àå

lfg_mt.pro

A15

Á¦9Àå

kb1.pro

*

Á¦12Àå

kb2.pro

*

Á¦12Àå

kb3.pro

*

Á¦12Àå

kb4.pro

*

Á¦12Àå

kb5.pro

*

Á¦12Àå

kb6.pro

*

Á¦12Àå

kb7.pro

*

Á¦12Àå

kb8.pro

*

Á¦12Àå

kb9.pro

*

Á¦12Àå

kb10.pro

*

Á¦12Àå

edcg1.pro

*

Á¦2Àå

edcg2.pro

*

Á¦2Àå

epsg_ch.pro

*

Á¦3Àå

kchart.pro

*

Á¦3Àå

echart.pro

Ãß°¡

Á¦3Àå

epsg.pro

Ãß°¡

Á¦3Àå

tree_ls.pro

*

Á¦3Àå

kpsg_lc.pro

*

Á¦3Àå

 

Swi-Prolog ÄÄÆÄÀÏ·¯

w32pl547.exe  <<< download

Source

http://www.swi-prolog.org/download.html

>>> Stable release

 

 

Àü»ê Åë»ç.Àǹ̷Р      ³»¿ë ¼Ò°³

 

ÀÌ Ã¥Àº ¾ð¾îÇÐÀÚµéÀ» À§ÇØ Àü»ê¾ð¾îÇÐ ºÐ¾ß¿¡ ´ëÇÑ Ã¼°èÀûÀÎ Áö½ÄÀ» Àü´ÞÇÏ°í ÀÌ¹Ì Àü»êÀû 󸮱â¼úÀ» °®Ãá Àü»êÇÐÀÚµéÀ» À§Çؼ­´Â ü°èÀûÀÎ Á¤¸®¸¦ ÅëÇØ º»°ÝÀûÀÎ ¾ð¾îÇÐ ¿¬±¸¸¦ ½ÃÀÛÇÒ ¼ö ÀÖ´Â Ãâ¹ßÁ¡À» ¸¶·ÃÄÉ ÇÏ´Â °ÍÀ» ¸ñÇ¥·Î »ï´Â´Ù. º»¼­´Â ÇÕ¼º¼º ¿ø¸®¸¦ Åä´ë·Î ÇÏ¿© ¾ð¾îÇÐÀÇ ±Ù°£ÀÌ µÇ´Â µÎ ÇÏÀ§¿µ¿ª, °ð Åë»ç·Ð°ú Àǹ̷ÐÀ» Àü»ê¾ð¾îÇÐÀûÀÎ °üÁ¡¿¡¼­ ³íÀÇÇÑ´Ù. ÀÌ °úÁ¤¿¡¼­ Åë»ç·Ð°ú Àǹ̷ÐÀÇ ¿©·¯ °¡Áö À̽´µéÀ» ÀΰøÁö´É¾ð¾îÀÎ ÇÁ·Ñ·Î±×¸¦ ÅëÇØ ±¸ÇöÇÏ´Â ¹æ¹ýÀ» Ž±¸ÇÏ°í Á÷Á¢ÀûÀ¸·Î ÄÄÇ»ÅÍ¿¡ ÀÇÇØ ÀÛµ¿µÈ °á°ú¸¦ º¸¿©ÁØ´Ù. º» ¿¬±¸¿¡¼­´Â Åë»çÀûÀÎ Á¤º¸¿Í ÀǹÌÀûÀÎ Á¤º¸, ¹®ÀåÃþÀ§Àû Á¤º¸¿Í ´ãÈ­ÃþÀ§Àû Á¤º¸°¡ ÇϳªÀÇ ¹®¹ý¾È¿¡ Ç¥»óµÉ ¼ö ÀÖÀ½À» º¸ÀÓÀ¸·Î½á Åë»çÁ¤º¸¿Í ÀǹÌÁ¤º¸ÀÇ ÅëÇÕ¸ðÇüÀ» Á¦¾ÈÇÏ´Â °ÍÀ» ±Ã±ØÀûÀÎ ¸ñÇ¥·Î »ï´Â´Ù.

º» ³íÀú´Â 4ºÎ·Î ±¸¼ºµÇ¾î ÀÖÀ¸¸ç, Á¦ 1ºÎ¿Í Á¦ 2ºÎ¿¡¼­´Â Àü»ê¾ð¾îÇÐÀÇ »À´ë¶ó ÇÒ ¼ö ÀÖ´Â Àü»êÅë»ç·Ð°ú Àü»êÀǹ̷ÐÀ» ´Ù·é´Ù. ¿©±â¿¡¼­ ÀÌ µÎ ¿µ¿ªÀÇ ¿©·¯ Çö»óµéÀ» ºÐ¼®Çϱâ À§ÇØ °³¹ßµÈ ÁÖ¿ä ºÐ¼® ±â¹ýµéÀ» ü°èÀûÀ¸·Î ¼Ò°³ÇÑ´Ù. Á¦ 3ºÎ¿¡´Â ÃÖ±Ù¿¡ ¸¹Àº ¿¬±¸ ¹× È°¿ëÀÌ ÀÌ·ç¾îÁö°í ÀÖ´Â ºÐ¾ßµéÀÎ ÄÚÆÛ½º ¾ð¾îÇÐ ºÐ¾ß ¹× ±â°è¹ø¿ª ºÐ¾ß¸¦ Æ÷ÇÔ½ÃÄ×´Ù. º»¼­´Â ¼¼ºÎÀûÀÎ Åë»çÀû, ÀǹÌÀû ó¸®ÀýÂ÷¸¦ ±¸Ã¼ÀûÀÎ ÇÁ·Î±×·¥À¸·Î ÀÛ¼ºÇØ º¸À̱â À§Çؼ­ ÀΰøÁö´É¾ð¾î·Î ³Î¸® ¾Ë·ÁÁ® ÀÖ´Â Prolog¸¦ È°¿ëÇÑ´Ù. À̸¦ À§ÇØ Á¦ 4ºÎ¿¡ ÇÁ·Ñ·Î±×ÀÇ ¼ú¾î³í¸®Àû ¹è°æ°ú Åë»ç·ÐÀ» ¸¶Áö¸· Á¤¸®ÇÏ¿´À¸¸ç, °ø°³ ÇÁ·Î±×·¥ÀÎ Swi-Prolog 5.4 »ç¿ë¹ýÀ» ºÎ·Ï¿¡ Æ÷ÇÔ½ÃÄѼ­ ÇÁ·Î±×·¡¹Ö¿¡ ¹è°æÀÌ ¾ø´Â µ¶ÀÚ¶óµµ Ã¥ ³»¿ëÀ» ÀÌÇØÇÏ°í ½Ç½ÀÇϴµ¥ º° ¾î·Á¿òÀÌ ¾øµµ·Ï ¹è·ÁÇß´Ù. ¶ÇÇÑ º»¹®¿¡ Á¦½ÃµÈ ±¸Çö ÇÁ·Î±×·¥Àº ´ëºÎºÐ ºÎ·ÏÀ¸·Î Á¦½ÃµÇ¾î ÀÖÀ¸¸ç, µ¶ÀÚµéÀÌ ÀÚ·áµéÀ» ½ÇÁ¦ÀûÀ¸·Î È°¿ëÇÒ ¼ö ÀÖµµ·Ï À¥»çÀÌÆ®¸¦ °³¼³ÇÏ¿© °¢ Àå¿¡¼­ ¾ð±ÞµÈ CodeµéÀ» ¸ðµÎ °ø°³ÇÑ´Ù.

º» ¿¬±¸¿¡¼­ ´Ù·ç´Â ¾ð¾î´Â Çѱ¹¾î¿Í ¿µ¾îÀÌ´Ù. ÀÌ´Â º¸´Ù ¸¹Àº ¾ð¾îÇÐÀ̳ª Àü»êÇÐÀü°øÀÚ¿¡°Ô ÀÌ ºÐ¾ß¿¡ Á¢±ÙÇÒ ±âȸ¸¦ Á¦°øÇϱâ À§ÇÔÀÌ´Ù. ¶ÇÇÑ ÀÌ ¿¬±¸¿¡¼­ ÀÌ·ÐÀûÀΠƲ·Î »ï°í ÀÖ´Â ¿¬±¸¹æ¹ý·ÐÀº Àü»ê¾ð¾îÇÐÀÇ Æ®·»µå¶ó ÇÒ ¼ö ÀÖ´Â ÄÚÆÛ½º±â¹Ý ȤÀº Åë°è±â¹Ý ¹æ¹ý·ÐÀÌ ¾Æ´Ï°í, ÀüÅëÀûÀÎ ¾ð¾îÇаú ¸ÆÀ» °°ÀÌ ÇÏ´Â ±ÔÄ¢±â¹Ý ¹æ¹ý·ÐÀÌ´Ù. ¶ÇÇÑ º» Àú¼ú¿¡¼­ ´Ù·ç´Â ÇÁ·Î±×·¡¹Ö¾ð¾îµµ ÄÚÆÛ½º±â¹Ý ¹æ¹ý·ÐÀÇ ´ëµÎ·Î »óÁ¾°¡¸¦ ±â·ÏÁßÀÎ PerlÀÌ ¾Æ´Ï¶ó, ³í¸®Àǹ̷аú Àß ¾î¿ï¸®´Â PrologÀÌ´Ù. Æ®·»µå´Â ¼¼¿ùµû¶ó º¯ÇÏÁö¸¸, ÀüÅëÀº º¯ÇÏÁö ¾ÊÀ¸¸ç ½Ã°£°ú ´õºÒ¾î ´õ¿í ºûÀ» ¹ß»êÇÑ´Ù´Â °ÍÀÌ ÇÊÀÚÀÇ È®½ÅÀÌ´Ù.

ÀÌ Ã¥¿¡¼­ÀÇ Àü»ê¾ð¾îÇÐÀûÀÎ ³íÀÇ°¡ Á¤º¸È­½Ã´ëÀÇ È­µÎÀÎ Àΰ£°ú ÄÄÇ»ÅÍ°£ÀÇ Ä¿¹Â´ÏÄÉÀ̼ǰú °ü·ÃµÈ ¿©·¯ °¡Áö À̽´µé¿¡ ´ëÇÑ ÇØ´äÀ» ã´Âµ¥ ÀÖ¾î ±â¿©°¡ µÉ °ÍÀ» ±â´ëÇÑ´Ù.

 

 

¸ñ Â÷

 

Ã¥¸Ó¸®¿¡

 

¼­·Ð - ¾ð¾î±âÈ£ÀÇ ±¸Á¶

Á¦ 1ºÎ Àü»êÅë»ç·Ð

Á¦ 1Àå Åë»ç¿¬±¸ °³°ü

Á¦ 2Àå ÇÑÁ¤Àý ¹®¹ý

Á¦ 3Àå ÆḺ̌â¹ý

Á¦ 4Àå ÀÚÁú±¸Á¶¿Í ÅëÇÕ±â¹Ý¹®¹ý

Á¦ 2ºÎ Àü»êÀǹ̷Ð

Á¦ 5Àå Áö½ÄÇ¥»ó Àǹ̷Ð

Á¦ 6Àå ³í¸®Àǹ̷аú ±¸Çö

Á¦ 7Àå ÁÂÃøÄÚ³Ê Æļ­¿Í ÅëÇÕÁ¤º¸

Á¦ 8Àå ´ãÈ­Ç¥»óÀ̷аú È®´ë ÅëÇÕÆļ­

Á¦ 3ºÎ Àü»ê¾ð¾îÇÐÀÇ ÀÀ¿ë

Á¦ 9Àå ±â°è¹ø¿ªÀÇ À̷аú ½ÇÁ¦

Á¦ 10Àå Àü»ê ÄÚÆÛ½º¿Í ¿ë·ÊÃßÃâ±âÀÇ È°¿ë

Á¦ 4ºÎ ¾ð¾îÇÐÀÚ¸¦ À§ÇÑ Prolog

Á¦ 11Àå ¼ú¾î³í¸®¿Í ÇÁ·Ñ·Î±×

Á¦ 12Àå ÇÁ·Ñ·Î±×ÀÇ Åë»ç·Ð

 

Âü°í¹®Çå

ºÎ·Ï

ã¾Æº¸±â

 

 

±³Á¤ ¿À·ù ¸®½ºÆ®

 

ÂÊ

À§Ä¡

ÇöÀç

¼öÁ¤ÈÄ

25

¼öÇüµµ (11) : ÃÖ»óÀ§ ³ëµå

N

V

25

¼öÇüµµ (11) : ¿À¸¥ÂÊ ÇÏ´Ü

Rose

Poss

51

¸¶Áö¸· ÁÙ

(5b)

(7b)

52

ùÁÙ

(6b)

(8b)

52

³Ý° ÁÙ

(100c)

(10c)