Prologï¼ãããã°ï¼ã¯è«çããã°ã©ãã³ã°è¨èªã®ä¸ã¤ã§ããã該å½åéã§æãããç¥ããã¦ããè«çåè¨èªã®ä»£è¡¨æ ¼ã§ããã主ã«äººå·¥ç¥è½ç ç©¶ãè¨ç®è¨èªå¦ã¨ã®é¢é£æ§ãæã¤ãå®ç証æãã¨ãã¹ãã¼ãã·ã¹ãã ãèªåè¨ç»ãèªç¶è¨èªå¦çã¨ãç¹ãããæ·±ããå½¢å¼è«çã§ããä¸éè¿°èªè«çãåºç¤ã«ãã¦ãäºå®ç¾¤ã¨è¦å群ã®è¡¨ç¾ããã³é¢ä¿ã®è¦³ç¹ã«ç«ã£ã宣è¨åãã©ãã¤ã ã«æºæ ãã¦ããããã®é¢ä¿ã«åã£ã質åã«ãã£ã¦è¨ç®ãéå§ãããã¨ããæ§è³ªãæã¤ã Prologã¯ã1972å¹´ã«ãã«ã»ã¤ã¦å¤§å¦ã®ã¢ã©ã³ã»ã«ã«ã¡ã©ã¦ã¢ã¼ã¨ãã£ãªããã»ã©ãã»ã«ã«ãã£ã¦éçºãããããã©ã³ã¹èªã®ãprogrammation en logiqueãããã®åã®ç±æ¥ã§ãã[2]ãPrologã®èªçã«ã¯ã¨ãã£ã³ãã©å¤§å¦ã®ããã¼ãã»ã³ã¯ã«ã¹ããèæ¡ãããã¼ã³ç¯ã大ããå¯ä¸ãã¦ãããã«ã«ã¡ã©ã¦ã¢ã¼ã«ããå ç¥çã¯ãã«ã»ã¤ã¦Prologã¨å¼ã°ãã¦ããããã®å¾ãã³ã¯ã«ã¹ã
{{#tags}}- {{label}}
{{/tags}}