プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨é–‹ç™ºè€…ã®ãŸã‚ã®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
æ²–ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢æ ªå¼ä¼šç¤¾ã¯ã€æ²–é€šä¿¡ã‚·ã‚¹ãƒ†ãƒ æ ªå¼ä¼šç¤¾ãŠã‚ˆã³æ ªå¼ä¼šç¤¾æ²–インフォテックã¨å¹³æˆ22å¹´10月1日をもã£ã¦åˆä½µã„ãŸã—ã¾ã—ãŸã€‚新会社åã¯ã€æ ªå¼ä¼šç¤¾OKIソフトウェアã¨ãªã‚Šã¾ã™ã€‚3社ãŒè¡Œã£ã¦ãŠã‚Šã¾ã™äº‹æ¥ã¯æ–°ä¼šç¤¾ã«ã¦å¾“æ¥é€šã‚Šç¶™ç¶šã„ãŸã—ã¾ã™ã€‚
Gatoan's Home Page
æ—…è¡Œã€å¥½ãã§ã™ã€‚神社ä»é–£ãŒç‰¹ã«å¥½ãã§ã™ã€‚俗世間ã¨ã¯éš”絶ã—ãŸç©ºé–“ã§ã¼ãƒ¼ã£ã¨ãŠæ—¥æ§˜ã«ã‚ãŸã£ã¦ä½•ã‚‚考ãˆãªã„ã§ã„ã‚‹ã®ãŒå¥½ãã§ã™ã€‚ã§ã‚‚ã€ã„ã‚ゆる「信仰ã€ã¿ãŸã„ãªã‚‚ã®ã¯ãªã„ã§ã™ã€‚ã¾ã‚‹ã£ãã‚Šãªã„訳ã˜ã‚ƒãªã„ã‚“ã ã‘ã©ã€ã¾ããªã„ã§ã™ã€‚ã‚ã£ã¡ã“ã£ã¡ã®ãŠå¯ºã§ã¼ãƒ¼ã£ã¨éŽã”ã—ã¦å¾¡æœ±å°ã‚’é ‚ã„ãŸã‚Šã—ã¦ã„ã¾ã™ãŒã€ç´çµŒã—ãŸã“ã¨ã¯ãŸã ã®ï¼‘度もã”ã–ã„ã¾ã›ã‚“（ãã£ã±ã‚Šï¼‰ã€‚
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
https://www.sw-lab.com/xoops/modules/incontent/index.php?op=aff&option=0&url=yslab/seminar.html
{{#tags}}- {{label}}
{{/tags}}