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入門 Introduction to Prolog (in Japanese)
Prolog ã®æ¦‚è¦ PROgramming in LOGic (è«–ç†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°)ã®çœç•¥ï¼Ž AI 用言語 (AI プãƒã‚°ãƒ©ãƒ ã®è¨˜è¿°ãƒ»é–‹ç™ºã«é©ã—ã¦ã„る言語)ã®ä¸€ç¨®ï¼Ž 1974 å¹´ã«ä»å›½ã® Colmerauer らã«ã‚ˆã‚Šé–‹ç™ºã•ã‚ŒãŸï¼Ž 通産çœã®ç¬¬äº”世代コンピュータプãƒã‚¸ã‚§ã‚¯ãƒˆã®æ ¸è¨€èªžã¨ã—ã¦æŽ¡ç”¨ã•ã‚ŒãŸï¼Ž Prolog ã®ç‰¹å¾´ 記å·å‡¦ç†è¨€èªžï¼Œãƒªã‚¹ãƒˆå‡¦ç†è¨€èªž: データã¨ã—ã¦ï¼Œè¨˜å·(シンボル)ã‚’å–り扱ã†ã“ã¨ãŒã§ãる． ã¾ãŸï¼Œãƒªã‚¹ãƒˆã¨å‘¼ã°ã‚Œã‚‹å¯å¤‰é•·ã®ãƒ‡ãƒ¼ã‚¿ã®åˆ—ã‚’å–り扱ã†ã“ã¨ãŒã§ãる． è«–ç†åž‹è¨€èªž: Prolog ã§ã¯æ–°ãŸãªè¿°èªžã‚’è«–ç†å¼ã§å®šç¾©ã™ã‚‹ã“ã¨ã«ã‚ˆã£ã¦ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’ 作り上ã’ã¦ã„ã． ã™ãªã‚ã¡ï¼Œ Prolog ã®ãƒ—ãƒã‚°ãƒ©ãƒ ã¯è«–ç†å¼ã®é›†ã¾ã‚Šã§ã‚る． Prolog ã‚„ LISP ã¯ï¼Œ FORTRAN ã‚„ BASIC ãªã©ã®æ‰‹ç¶šã型言語ã¨ã¯ç•°ãªã‚Šï¼Œ éžæ‰‹ç¶šã型言語ã¨å‘¼ã°ã‚Œã‚‹ï¼Ž 対話的使用，会話的使用: P
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
ET Seminar 2008 (3)
ET Seminar 2008 (2)
ET Seminar 2008 (1)
Orange
{{#tags}}- {{label}}
{{/tags}}