プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨é–‹ç™ºè€…ã®ãŸã‚ã®CodeZine：Rubyã§ä½œã‚‹Prolog処ç†ç³»ï¼ˆRuby, Prolog, 記å·å‡¦ç†, 自動推論）ã¯ã˜ã‚ã«ã€€1970年代ã«ãƒ¨ãƒ¼ãƒãƒƒãƒ‘を主ãªèˆžå°ã¨ã—ã¦ç”Ÿã¾ã‚Œè‚²ã£ãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžProlog（programming in logic）ã¯ã€äº‹å®Ÿã¨ãƒ«ãƒ¼ãƒ«ã‹ã‚‰ä¸€ç¨®ã®è‡ªå‹•æŽ¨è«–ã‚’è¡Œã†ç‚¹ã«ç‰¹å¾´ãŒã‚ã‚Šã¾ã™ã€‚ãã®åŸºæœ¬çš„ãªå‹•ä½œã¯200è¡Œã»ã©ã®Rubyプãƒã‚°ãƒ©ãƒ ã§å®Ÿç¾ã§ãã¾ã™ã€‚ã“ã“ã§ã¯ã€ç†è€…ãŒRubyã§ä½œæˆã—ãŸProlog処ç†ç³»ã‚’解説ã—ã¾ã™ã€‚　Prologã«ã‚ˆã‚‹ç°¡å˜ãªãƒ—ãƒã‚°ãƒ©ãƒ 例を下記ã«ç¤ºã—ã¾ã™ã€‚ ã“ã‚Œã¯ã€Œã‚½ã‚¯ãƒ©ãƒ†ã‚¹ã¯äººé–“（human）ã§ã‚ã‚‹ã€ã€Œãƒ—ラトンã¯äººé–“ã§ã‚ã‚‹ã€ã¨ã„ã†äº‹å®Ÿã¨ã€ã€Œäººé–“ãªã‚‰ã°ã„ã¤ã‹æ»ã¬ï¼ˆmortal）ã€ã¨ã„ã†ãƒ«ãƒ¼ãƒ«ã‚’書ã„ãŸã‚‚ã®ã§ã™ã€‚mortal(X) :- human(X)ã¯ã€å¤‰æ•°XãŒå®Ÿéš›ã«ã¯ä½•ã§ã‚ã£ãŸã¨ã—ã¦ã‚‚ã€ã‚‚ã—ã‚‚human(X)ãŒæˆã‚Šç«‹ã¤ãªã‚‰ã°ï¼ˆã¤ã¾ã‚ŠXãŒäººé–“ãªã‚‰ã°ï¼‰ã€mortal(X)ãŒæˆã‚Šç«‹ã¤ï¼ˆã¤ã¾ã‚Šã€Xã¯ã„ã¤ã‹æ»ã¬ï¼‰ã¨ã„ã†æ„味ã§ã™ã€‚　簡略化ã®ãŸã‚ã€æœ¬å‡¦ç†ç³»ã§ã¯Rubyã®æ§‹æ–‡è¦
Life with Cygwin
{{#tags}}- {{label}}
{{/tags}}