Àü»ê Åë»ç.Àǹ̷Ð
À¥»çÀÌÆ®
Àü»ê Åë»ç.Àǹ̷Р|
À̹ÎÇà. 2005. Àü»ê Åë»ç.Àǹ̷Ð. µµ¼ÃâÆÇ ¿ª¶ô
2005³â 7¿ù 1ÀÏ
°ü¸®ÀÚ: À̹ÎÇà
Prolog
ÄÚµå ¸ñ·Ï
l
¾Æ·¡ÀÇ ÆÄÀϵéÀ» ¸ðµÎ ´Ù¿î¹Þ¾Æ
ÇϳªÀÇ Æú´õ¿¡ ÀúÀåÇÑ ÈÄ
°¢ ÆÄÀÏÀÇ È®ÀåÀÚ¸¦ .pl·Î ¹Ù²Ù¾î ½ÇÇàÇØ¾ß ÇÕ´Ï´Ù.
ÄÚµå¸í |
°ü·ÃºÎ·Ï |
°ü·Ãº»¹® |
A2 |
Á¦2Àå-12Àå |
|
A2 |
Á¦4Àå-12Àå |
|
A5 |
Á¦3Àå |
|
A5.2 |
Á¦3Àå |
|
A6 |
Á¦3Àå |
|
A8 |
Á¦3Àå |
|
A9 |
Á¦4Àå |
|
A10 |
Á¦4Àå |
|
A11 |
Á¦6Àå |
|
A12 |
Á¦6Àå |
|
A13 |
Á¦7Àå |
|
A14 |
Á¦8Àå |
|
A15 |
Á¦9Àå |
|
* |
Á¦12Àå |
|
* |
Á¦12Àå |
|
* |
Á¦12Àå |
|
* |
Á¦12Àå |
|
* |
Á¦12Àå |
|
* |
Á¦12Àå |
|
* |
Á¦12Àå |
|
* |
Á¦12Àå |
|
* |
Á¦12Àå |
|
* |
Á¦12Àå |
|
* |
Á¦2Àå |
|
* |
Á¦2Àå |
|
* |
Á¦3Àå |
|
* |
Á¦3Àå |
|
Ãß°¡ |
Á¦3Àå |
|
Ãß°¡ |
Á¦3Àå |
|
* |
Á¦3Àå |
|
* |
Á¦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) |