Prolog Meta programmingPrologã®å…¥é–€æ–‡æ›¸ã«é£½ããŸäººã« ãŸã‘ãŠã‹@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〠ã¯ã€ 引数
ã²ã’ã½ã‚“ OSã¨ã‹ä½œã£ã¡ã‚ƒã†ã‹Mona- - 末尾å†å¸°
{{#tags}}- {{label}}
{{/tags}}