『WAM, Warrenã® Prolog抽象マシンã®å‘½ä»¤ã‚»ãƒƒãƒˆã®ãƒ¬ãƒãƒ¼ãƒˆã‚’和訳ã—ãŸã€Prologを実装ã™ã‚‹ã¨ã〠普通ã¯ã€ãƒã‚¤ãƒˆã‚³ãƒ¼ãƒ‰ã‚’実行ã™ã‚‹ä»®æƒ³ãƒžã‚·ãƒ³ãƒ»ã‚¤ãƒ³ã‚¿ãƒ¼ãƒ—リタ(最近ã¯ã€ãƒ—ãƒã‚»ã‚¹VMã¨ã‹ã„ã†ã‚‰ã—ã„。ãªã‚“ã¨ãªã嘆ã‹ã‚ã—ã„)を作り〠コンパイラã§ã€Prologã§æ›¸ã‹ã‚ŒãŸã‚½ãƒ¼ã‚¹ãƒ»ã‚³ãƒ¼ãƒ‰ã‚’ã€ä»®æƒ³ãƒžã‚·ãƒ³ã®ãƒã‚¤ãƒŠãƒªã«å¤‰æ›ã™ã‚‹ã€‚ ãã†ã„ã†ä»®æƒ³ãƒžã‚·ãƒ³ã®ä»•æ§˜ã¨ã—ã¦ã€WAMã¨ã„ã†ã‚‚ã®ã‚’使ã†ã“ã¨ãŒã»ã¨ã‚“ã§ã‚る。 WAMã¯Warrenã¨ã„ã†äººãŒ1983å¹´ã”ã‚ã«è€ƒãˆãŸã€‚ 高級言語好ãã®ã‚ãŸãã—ã¨ã—ã¦ã¯ã€Prologを勉強ã™ã‚‹è‹¥è€…ã«WAMを知ã£ã¦æ¬²ã—ã„ãªã€ã¨ã€æ€ã„ã€å’Œè¨³ã‚’ã—ã¦ã¿ãŸã€‚ WAM 和訳 ãã‚‚ãã‚‚ Prolog 実行系ã®å‹•ãを知ã£ã¦ãªã„ã¨ã€ãªã‹ãªã‹æ„味ãŒå–ã‚Œãªã„ã ã‚ã†ã€‚ ã¾ã€ãã‚Œã¯ã€è‰²ã‚“ãªPrologã®ã‚½ãƒ¼ã‚¹ã¨ã‹èªã‚“ã§ã€ç²¾é€²ã—ã¦ã‚‚らã†ã—ã‹ãªã„ã‹ãªã€‚
WAM: Warren's Abstract Machine (Japanese)
Prolog入門 Introduction to Prolog (in Japanese)
{{#tags}}- {{label}}
{{/tags}}