Prolog入門Prologã¨ã¯ Prologã¯ã€Œäº‹ç‰©(Object)ã€ã¨äº‹ç‰©é–“ã®ã€Œé–¢ä¿‚(relation)ã€ã«é–¢ã™ã‚‹ å•é¡Œã‚’解ããŸã‚ã«ä½¿ã‚れるプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã€‚ プãƒã‚°ãƒ©ãƒ を「宣言的ã«ã€è¡¨ç¾ã§ãる。他ã®è¨€èªžã§ã¯ã€Œæ‰‹ç¶šãçš„ã«ã€è¡¨ç¾ã—ã¦ã„る。 自然言語解æžã‚„ã€ç†è§£ã€æŽ¨è«–ãªã©ã®äººå·¥çŸ¥èƒ½ã®åˆ†é‡Žã§æœ‰åŠ¹ã€‚ PROgramming in LOGics ãŒåå‰ã®ç”±æ¥ 一階述語論ç†ã«åŸºã¥ã„ã¦ã„る。 1970å¹´é ƒã€ãƒ•ãƒ©ãƒ³ã‚¹ã® Alain Colmerauer (アラン・コルメãƒã‚¨)ã«ã‚ˆã£ã¦ 開発ã•ã‚ŒãŸã€‚(自然言語ã®è§£æžã‚’ã™ã‚‹Q-SystemãŒåŸºã¨ãªã£ãŸã€‚) Prologプãƒã‚°ãƒ©ãƒ Prologã®ãƒ—ãƒã‚°ãƒ©ãƒ ã¯æ¬¡ã®ï¼“ã¤ã®è¦ç´ ã‹ã‚‰æˆã‚‹ã€‚ 事実: 事物ã¨ãã®é–¢ä¿‚ã«ã¤ã„ã¦ã„ãã¤ã‹ã®äº‹å®Ÿã‚’宣言ã™ã‚‹ã“ã¨ã€‚ è¦å‰‡: 事物ã¨ãã®é–¢ä¿‚ã«ã¤ã„ã¦ã®è¦å‰‡ã‚’定義ã™ã‚‹ã“ã¨ã€‚ 質å•: 事物ã¨ãã®é–¢ä¿‚ã«ã¤ã„ã¦è³ªå•ã™ã‚‹ã“ã¨ã€‚ 事実 「taro likes
{{#tags}}- {{label}}
{{/tags}}