Prolog ã®æ¦è¦ PROgramming in LOGic (è«çããã°ã©ãã³ã°)ã®çç¥ï¼ AI ç¨è¨èª (AI ããã°ã©ã ã®è¨è¿°ã»éçºã«é©ãã¦ããè¨èª)ã®ä¸ç¨®ï¼ 1974 å¹´ã«ä»å½ã® Colmerauer ãã«ããéçºãããï¼ éç£çã®ç¬¬äºä¸ä»£ã³ã³ãã¥ã¼ã¿ããã¸ã§ã¯ãã®æ ¸è¨èªã¨ãã¦æ¡ç¨ãããï¼ Prolog ã®ç¹å¾´ è¨å·å¦çè¨èªï¼ãªã¹ãå¦çè¨èª: ãã¼ã¿ã¨ãã¦ï¼è¨å·(ã·ã³ãã«)ãåãæ±ããã¨ãã§ããï¼ ã¾ãï¼ãªã¹ãã¨å¼ã°ããå¯å¤é·ã®ãã¼ã¿ã®åãåãæ±ããã¨ãã§ããï¼ è«çåè¨èª: Prolog ã§ã¯æ°ããªè¿°èªãè«çå¼ã§å®ç¾©ãããã¨ã«ãã£ã¦ããã°ã©ã ã ä½ãä¸ãã¦ããï¼ ããªãã¡ï¼ Prolog ã®ããã°ã©ã ã¯è«çå¼ã®éã¾ãã§ããï¼ Prolog ã LISP ã¯ï¼ FORTRAN ã BASIC ãªã©ã®æç¶ãåè¨èªã¨ã¯ç°ãªãï¼ éæç¶ãåè¨èªã¨å¼ã°ããï¼ å¯¾è©±ç使ç¨ï¼ä¼è©±ç使ç¨: P
ãªãªã¼ã¹ãé害æ å ±ãªã©ã®ãµã¼ãã¹ã®ãç¥ãã
ææ°ã®äººæ°ã¨ã³ããªã¼ã®é ä¿¡
å¦çãå®è¡ä¸ã§ã
j次ã®ããã¯ãã¼ã¯
kåã®ããã¯ãã¼ã¯
lãã¨ã§èªã
eã³ã¡ã³ãä¸è¦§ãéã
oãã¼ã¸ãéã
{{#tags}}- {{label}}
{{/tags}}