10分ã§Prologã®é›°å›²æ°—ã¨å¿œç”¨ã‚’ã–ã£ãり紹介ã—ã¾ã™ã€‚
Prolog入門
10分ã§Prologã®é›°å›²æ°—ã¨å¿œç”¨ã‚’ã–ã£ãり紹介ã—ã¾ã™ã€‚
Prolog Meta programming
Prologã®å…¥é–€æ–‡æ›¸ã«é£½ããŸäººã« ãŸã‘ãŠã‹@AXE (竹岡尚三) Update: 2007/DEC/08 Update: 2007/AUG/18 åˆå‡º: 2007/MAR/10 ãªã‚“ã ã‹ã€Webã®ä¸–ç•Œã«ã¯ã€æ—¥æœ¬èªžã§ã¯ã€ç´”粋ãªè«–ç†åž‹è¨€èªžã¨ã—ã¦ã®Prolog入門㮠文書ã—ã‹ãªã。 Prologã¯ã€å®Ÿç”¨è¨€èªž(を目指ã—ã¦ã„ã‚‹ã¯ãš)ãªã®ã§ã€ãƒ”ュアãªè«–ç†ã®è©±ã ã‘ã§ã¯ã€ ã„ã‘ãªã„ã¨ã€æ€ã„… ã§ã€ã“ã†ã„ã†é›‘æ–‡ã«ã¦ã€æ¥ã‚’ã•ã‚‰ã™ã€‚ 1. 高階ã«ã‚ˆã‚‹å¾Œæ‚” 実用プãƒã‚°ãƒ©ãƒ ãŒã€ã‚ã‚“ã¾ã‚Šã«é«˜éšŽæ‰‹ç¶šãを使ã£ã¦ã„ã‚‹ã¨ã€ãã‚Œã¯ãã‚Œã§ã€å›°ã‚Š ãã†ãªã‚‚ã®ãªã®ã ãŒâ€¦ ã§ã‚‚ã€ã‚„ã¯ã‚Šã€é«˜éšŽãªå‘¼ã³å‡ºã—ã¯ã€å¿…è¦ã 。 aho(X,Z) :- A =.. [plus,1,X,Z], call(A),print(Z). ã¨ã„ã†è¿°èªžã‚’定義ã—〠実行ã¨ãã®çµæžœã¯æ¬¡ã®ã¨ãŠã‚Šã€‚ ?- aho(4,Z). 5 Z = 5 「call/1〠ã¯ã€ 引数
ï¼»Prologï¼½[Tips] 美ã—ã„Prologã®ã‚³ãƒ¼ãƒ‰ã®æ›¸ãæ–¹(1) - negationã®æ—¥è¨˜
Prologã®ã‚³ãƒ¼ãƒ‰ã‚’美ã—ã書ãã«ã¯ã©ã†ã—ãŸã‚‰ã„ã„ã‹ï¼Ÿã€‚少々ボリュームãŒã‚ã‚‹ã®ã§ã€æ ¹æ°—ã®ã‚る人ã ã‘èªã‚“ã§ãã ã•ã„w。ã§ã‚‚ãã£ã¨ãŸã‚ã«ãªã‚Šã¾ã™ã€‚ ã¾ãšPrologを書ãã«å½“ãŸã£ã¦ã€é‡è¦ãªã“ã¨ã¯ã€Œå¼•æ•°ã®æ€§è³ªãŒä½•ã§ã‚ã‚‹ã‹ã€ã¨è¨€ã†ã“ã¨ã§ã™ã€‚ Prologã®å¼•æ•°ã«ã¯3ã¤ã®æ€§è³ªãŒã‚ã‚Šã¾ã™ã€‚ 定数ã¨ã—ã¦ã®å¼•æ•°ã€‚ã“ã‚Œã¯hoge(+bar)ã¨SWI-Prologã®helpã«æ›¸ã‹ã‚Œã¦ã„ã¾ã™ã€‚ 処ç†ã—ãŸå¾Œã«å€¤ã‚’è¿”ã™ãŸã‚ã®å¼•æ•°ã€‚hoge(-bar)。 上記ã©ã¡ã‚‰ã§ã‚‚良ã„引数。hoge(?bar)。 ãŸã¨ãˆã°ã€times(X,Y,Z)ã¨ã„ã†è¿°èªžã‚’考ãˆã¦ã¿ã¾ã™ã€‚ã“ã‚Œã¯ã€ŒX*Y=Zã€ã¨ã„ã†æ„味ã¨ã—ã¾ã—ょã†ã€‚ã“ã®ã‚³ãƒ¼ãƒ‰ã¯ä»¥ä¸‹ã®ã‚ˆã†ã«ãªã‚Šã¾ã™ã€‚ times(X,Y,Z):- Z is X * Y. ã‚ã€ã€Œï½€*’使ã£ã¦ãŸã‚‰æ„味ãªã„ã˜ã‚ƒã‚“ã€ã¨ã„ã†ã¤ã£ã“ã¿ã¯ç„¡ã—ã§w。例ã§ã™ã‹ã‚‰w。ã“ã®ã¨ãã‚‚ã— ?- times(X,Y,3).
![ï¼»Prologï¼½[Tips] 美ã—ã„Prologã®ã‚³ãƒ¼ãƒ‰ã®æ›¸ãæ–¹(1) - negationã®æ—¥è¨˜](https://cdn-ak-scissors.b.st-hatena.com/image/square/bbfea157608b38a61d2a061b70f3c8e35d62a7b1/height=288;version=1;width=512/https%3A%2F%2Fogimage.blog.st-hatena.com%2F17680117127137911909%2F17680117127137923834%2F1558077720)
1
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Prolog Guide - Representing Data Structures
{{#tags}}- {{label}}
{{/tags}}