Prolog ã¤ã³ã¿ããªã¿ã Haskell ã§æ¸ãã¾ããããã°ããæ¸ããã ãã§æºè¶³ãã¦ãã¾ã£ã¦ããã®ã§ããããã®ã¾ã¾äººç¥ããæ¶ãã¦è¡ãã®ãå¯ããã®ã§åå¼·ããäºãæ¸ãã¾ããã¾ããåèã«ããã½ã¼ã¹ã¯ååæ¸ãã hugs98/demos/prolog/ ã§ãããã®ã½ã¼ã¹ã大å¤çãã¦è¯ãã®ã§ãããç´ äººç®ã«ã¯ç°¡æ½ããã¦é£ããã®ã¨ãæ¸ãããã®ãå¤ãã®ã do è¨æ³ãå ¨ã使ã£ã¦ããªãã®ã§ããããã¸ããç§é¢¨ã«ã¢ã¬ã³ã¸ãã¾ãããã½ã¼ã¹ã http://github.com/propella/prolog/tree ã«ç½®ãã¦ããã¾ãããªããè¨èã®ä½¿ãæ¹ã¨ãééã£ã¦ããããããªãã®ã§æ°ã¥ãã人ã¯æãã¦ãã ããã å®è¡ å®è¡ã®ä»æ¹ã¯ Prolog.hs ããã¦ã³ãã¼ããã¦ã runghc Prolog.hsã§ããfood(apple). ã®ããã«ããã¨ã«ã¼ã«ã«è¿½å ã§ã?- apple(X). ã§åãåããã??
{{#tags}}- {{label}}
{{/tags}}