WAM: Warren's Abstract Machine (Japanese)
AN ABSTRACT PROLOG INSTRUCTION SET (D.Warrenã®æŠ½è±¡Prolog命令セット, WAM) Technical Note 309 Oct 1983 By: David H.D.Warren, Computer Scientist Artificial lntelligence Center Computer Science and Technology Division SRI Project 4776 Client: Digital Equipment Corporation Open Publication. Release of lnformation. 日本語訳: JAN/07/2010 last update: OCT/21/2010 竹岡尚三ã€å®‰é”å½°å…¸ã€æž—奉行ã€æ¹¯æµ…ä¿¡å¾ã€å°å®®å±±æ•¦å²ã€æ£®ä¸‹è€•å¹³ 和訳ã«ã¤ã„㦠ã“ã®æ–‡æ›¸ã¯ã€Prologコンパイラ
サービス終了ã®ãŠçŸ¥ã‚‰ã›
サービス終了ã®ãŠçŸ¥ã‚‰ã› ã„ã¤ã‚‚Yahoo! JAPANã®ã‚µãƒ¼ãƒ“スをã”利用ã„ãŸã ãèª ã«ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ã€‚ ãŠå®¢æ§˜ãŒã‚¢ã‚¯ã‚»ã‚¹ã•ã‚ŒãŸã‚µãƒ¼ãƒ“スã¯æœ¬æ—¥ã¾ã§ã«ã‚µãƒ¼ãƒ“スを終了ã„ãŸã—ã¾ã—ãŸã€‚ 今後ã¨ã‚‚Yahoo! JAPANã®ã‚µãƒ¼ãƒ“スをã”愛顧ãã ã•ã„ã¾ã™ã‚ˆã†ã€ã‚ˆã‚ã—ããŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚
ãƒã‚¸ãƒãƒ³ã§Prologプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã—ã¦ã¿ãŸï¼ - Qiita
ãƒã‚¸ãƒãƒ³ã®ç´¹ä»‹ 今回発表ã™ã‚‹è¨€èªžã¯ãƒã‚¸ãƒãƒ³ã¨ã„ã†è¨€èªžã§ã™ã€‚ èžã„ãŸã“ã¨ãŒãªã„ã‹ã‚‚ã—ã‚Œãªã„ã®ã§ã€ã¾ãšã¯ãã®ç´¹ä»‹ã‹ã‚‰ã§ã™ã€‚ ãƒã‚¸ãƒãƒ³ã¨ã„ã†ã®ã¯ã€å…ƒã€…ã€åŸºæœ¬çš„ã«äººé–“ãŒè©±ã™ãŸã‚ã«ä½œã‚‰ã‚ŒãŸäººå·¥ã®è¨€èªžã§ã™ã€‚ 最åˆã¯ã‚µãƒ”ã‚¢ï¼ã‚¦ã‚©ãƒ¼ãƒ•ã®ä»®èª¬ã¨ã„ã†è¨€èªžå¦ä¸Šã®å•é¡Œã‚’検証ã™ã‚‹ãŸã‚ã«ä½œã‚‰ã‚ŒãŸè¨€èªžã§ã™ãŒã€å…ƒã€…言語å¦è€…ãŒä½œã£ãŸä¸‹æ•·ãã‹ã‚‰ã‚¹ã‚¿ãƒ¼ãƒˆã—ã¦ã„ã‚‹ã®ã§ã€è‰²ã€…ã¨é¢ç™½ã„性質ãŒã‚ã‚Šã¾ã™ã€‚ 例ãˆã°ä¸‹ã®æ§˜ãªæ„Ÿã˜ã§ã™ã€‚ 音ä¸å¿ƒã§è¨è¨ˆã•ã‚Œã¦ã„ã¦ã€åŒéŸ³ç•°ç¾©èªžãŒåŽŸç†ä¸Šå˜åœ¨ã—ãªã„ 文法ãŒåŽ³æ ¼ã«æ±ºã‚られã¦ã„ã¦ã€æ§‹é€ ã«æ›–昧ã•ãŒè¡¨ã‚Œãªã„ 一階述語論ç†ã‚’ベースã«çµ„ã¿ç«‹ã¦ã‚‰ã‚Œã¦ã„ã‚‹ 文化éžä¾å˜ ã“ã®æ§˜ãªæ€§è³ªã‚’æŒã£ã¦ã„ã‚‹ã“ã¨ã‹ã‚‰ã€ãƒã‚¸ãƒãƒ³ã§è©±ã—ã‹ã‘ãŸã‚Šã€æ›¸ã‹ã‚ŒãŸã‚Šã—ãŸæ–‡ã¯ã€å‘½é¡Œã¨ã—ã¦ãƒ—ãƒã‚°ãƒ©ãƒ ãŒå®Ÿè¡Œå¯èƒ½ã¨ã„ã†æ€§è³ªã‚’æŒã£ã¦ã„ã¾ã™ã€‚ 特ã«æ—¥æœ¬èªžã‚„英語ã§ã¯æ ¹æœ¬ã«æŒã£ã¦ã„ã‚‹æ§‹é€ çš„ãªæ›–昧ã•ãŒç™ºç”Ÿã—ãªã„ã¨ã„ã†ã®ãŒå¤§ããã¦ã€æ—¥æœ¬èªžã§ã¯è§£æžä¸å¯èƒ½ãªé•·æ–‡ã§ã‚‚プãƒ
コーディングã«å¯¾ã™ã‚‹è€ƒãˆæ–¹ã‚’変ãˆã‚‹6ã¤ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãƒ‘ラダイム| POSTD
ç§ã¯æ™‚折ã€ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°ã«å¯¾ã™ã‚‹è€ƒãˆæ–¹ã‚’変ãˆã•ã›ã‚‰ã‚Œã‚‹ã‚ˆã†ãªã€å¾“æ¥ã¨éžå¸¸ã«ç•°ãªã‚‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã«å‡ºä¼šã„ã¾ã™ã€‚本記事ã§ã¯ã€ãã®ä¸ã§ã‚‚特ã«æ°—ã«å…¥ã£ã¦ã„る発見をã„ãã¤ã‹ã”紹介ã—ãŸã„ã¨æ€ã„ã¾ã™ã€‚ ã“ã‚Œã¯ã€å…ˆè³¢ã«ã‚ˆã‚‹ã€Œé–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯ä¸–界を変ãˆã‚‹ï¼ã€çš„ãªæŠ•ç¨¿ã§ã¯ã‚ã‚Šã¾ã›ã‚“。本記事ã§æŒ™ã’ã‚‹ã®ã¯ã€ã‚‚ã£ã¨ã€ŒçŸ¥ã‚‹äººãžçŸ¥ã‚‹ã€çš„ãªãƒªã‚¹ãƒˆã§ã™ã€‚多ãã®èªè€…ã®æ–¹ã«ã¨ã£ã¦ã€ä»¥ä¸‹ã®è¨€èªžã‚„パラダイムã¯èžã„ãŸã“ã¨ã®ãªã„ã‚‚ã®ãŒå¤§åŠã ã¨æ€ã„ã¾ã™ã®ã§ã€ç§ãŒçµŒé¨“ã—ãŸã‚ˆã†ã«ã€ã“れらã®æ–°ã—ã„概念をå¦ã¶æ¥½ã—ã•ã‚’æ„Ÿã˜ã¦ã„ãŸã ã‘ã‚Œã°å¹¸ã„ã§ã™ã€‚ 注：ç§ã¯ä»¥ä¸‹ã®è¨€èªžã®å¤šãã«é–¢ã—ã¦æœ€ä½Žé™ã®çµŒé¨“ã—ã‹ã‚ã‚Šã¾ã›ã‚“。ãã®ç™ºæƒ³ã«å¼•ãè¾¼ã¾ã‚ŒãŸã®ã§ã‚ã£ã¦ã€å°‚門的知è˜ã¯æŒã¡åˆã‚ã›ã¦ã„ãªã„ãŸã‚ã€è¨‚æ£ã™ã¹ã点や誤りãŒã‚ã‚Œã°ã©ã†ãžã”指摘ãã ã•ã„。ã¾ãŸã€æœ¬è¨˜äº‹ã§å–り上ã’ã¦ã„ãªã„æ–°ã—ã„パラダイムや概念ã«å‡ºä¼šã£ãŸæ–¹ã¯ã€ãœã²ãŠçŸ¥ã‚‰ã›ãã ã•ã„。 æœ€æ–°æƒ…å ±ï¼šæœ¬è¨˜äº‹ãŒ r/p
Writing an HTTP server in Prolog
I’m taking a class now on programming languages where I’m learning all about the different styles of languages and how they can all be useful, as well as a class on computer networks where I’m learning all about how the internet works and how computers communicate with each other across networks. I had the idea last week to try to combine what I’m learning in the two classes and implement one of m
Teyjus
The Teyjus system is an efficient implementation of the higher-order logic programming language Lambda Prolog. The main strength of Lambda Prolog, a language developed by Dale Miller and Gopalan Nadathur, is the support it offers for what is known as lambda tree syntax, a new and effective way to view the structure of complex syntactic objects such as types, formulas, proofs and programs. Lambda P
ãŠæ°—楽 Prolog プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å…¥é–€
サービス終了ã®ãŠçŸ¥ã‚‰ã› ã„ã¤ã‚‚Yahoo! JAPANã®ã‚µãƒ¼ãƒ“スをã”利用ã„ãŸã ãèª ã«ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ã€‚ ãŠå®¢æ§˜ãŒã‚¢ã‚¯ã‚»ã‚¹ã•ã‚ŒãŸã‚µãƒ¼ãƒ“スã¯æœ¬æ—¥ã¾ã§ã«ã‚µãƒ¼ãƒ“スを終了ã„ãŸã—ã¾ã—ãŸã€‚ 今後ã¨ã‚‚Yahoo! JAPANã®ã‚µãƒ¼ãƒ“スをã”愛顧ãã ã•ã„ã¾ã™ã‚ˆã†ã€ã‚ˆã‚ã—ããŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚
[pdf]Swing実習マニュアル 大黒å¦
大阪ã«ã¯ã‚ャãƒã‚¯ãƒ©ãŒå¤šã„è¡—ã¨ã—ã¦ã€Œã‚ã‚¿ã€ã¨ã€ŒãƒŸãƒŠãƒŸã€ãŒã‚ã‚‹ã‚“ã§ã™ã€‚ ã“ã®2ã¤ã®è¡—ã«ã¯ã„ã‚ã‚“ãªã‚ャãƒã‚¯ãƒ©ãŒã‚ã‚‹ã—ã€ç«¶åˆåº—ãŒå¤šã„ã“ã¨ã‹ã‚‰ä»–ã®ã‚¨ãƒªã‚¢ã‚ˆã‚Šæ™‚çµ¦ç›¸å ´ãŒé«˜ã„上ã€æ–°è¦ã®ãŠå®¢ã•ã‚“ã‚‚æ¥åº—ã—ã‚„ã™ã„。 ã ã‹ã‚‰ã€é–¢è¥¿ã®ã‚ャãƒã‚¯ãƒ©ã§åƒã上ã§ã€ã‚ã‚¿ã€ã‚‚ã—ãã¯ãƒŸãƒŠãƒŸã®ã‚ャãƒã‚¯ãƒ©ã‚’é¸ã¶ã“ã¨ãŒã™ã”ããŠã™ã™ã‚ï¼ ã‘ã©ã€ãã†ã¯è¨€ã£ã¦ã‚‚「ã˜ã‚ƒã‚ã‚ã‚¿ã¨ãƒŸãƒŠãƒŸã ã£ãŸã‚‰ã©ã£ã¡ã®æ–¹ãŒè‰¯ã„ã®ï¼Ÿã€ã£ã¦æ€ã†æ–¹ã‚‚ã„ã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“よã（笑） ãªã®ã§ã“ã“ã§ã¯ã€å¤§é˜ªã®ã‚ã‚¿ã¨ãƒŸãƒŠãƒŸã®ã‚ャãƒå¬¢ç›®ç·šã‹ã‚‰è¦‹ãŸé•ã„ã«ã¤ã„ã¦è§£èª¬ã—ã¦ã„ãã¾ã™ï¼ 大阪ã®ã‚ャãƒã‚¯ãƒ©ã€Œã‚ã‚¿ã€ã¨ã€ŒãƒŸãƒŠãƒŸã€ã®é•ã„ ã§ã¯å¤§é˜ªã®ã‚ã‚¿ã¨ãƒŸãƒŠãƒŸã«ã¯ã€ã‚ャãƒã‚¯ãƒ©ã«ã©ã‚“ãªé•ã„ãŒã‚ã‚‹ã®ã‹ã€å„é …ç›®ã«åˆ†ã‘ã¦ç´¹ä»‹ã—ã¦ã„ãã¾ã™ï¼ 大阪ã®ã‚ャãƒã‚¯ãƒ©ã§é ‘å¼µã£ã¦åƒã„ã¦ã„ã“ã†ã¨æ€ã£ã¦ã‚‹æ–¹ã¯ã€è‡ªåˆ†ã®ç›®çš„ã‚„ã‚ャãƒå¬¢ã¨ã—ã¦ã®ã‚ャリアã«åˆã£ãŸãŠåº—ã‚’é¸ã‚“ã§ãã ã•ã„ãï¼ ãŠçµ¦æ–™ ã¾ãšã¯ãŠçµ¦æ–™ã«ã¤ã„ã¦ã€‚ãŠçµ¦æ–™ã¯ã€å¤§
Prolog入門 Introduction to Prolog (in Japanese)
Prolog ã®æ¦‚è¦ PROgramming in LOGic (è«–ç†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°)ã®çœç•¥ï¼Ž AI 用言語 (AI プãƒã‚°ãƒ©ãƒ ã®è¨˜è¿°ãƒ»é–‹ç™ºã«é©ã—ã¦ã„る言語)ã®ä¸€ç¨®ï¼Ž 1974 å¹´ã«ä»å›½ã® Colmerauer らã«ã‚ˆã‚Šé–‹ç™ºã•ã‚ŒãŸï¼Ž 通産çœã®ç¬¬äº”世代コンピュータプãƒã‚¸ã‚§ã‚¯ãƒˆã®æ ¸è¨€èªžã¨ã—ã¦æŽ¡ç”¨ã•ã‚ŒãŸï¼Ž Prolog ã®ç‰¹å¾´ 記å·å‡¦ç†è¨€èªžï¼Œãƒªã‚¹ãƒˆå‡¦ç†è¨€èªž: データã¨ã—ã¦ï¼Œè¨˜å·(シンボル)ã‚’å–り扱ã†ã“ã¨ãŒã§ãる． ã¾ãŸï¼Œãƒªã‚¹ãƒˆã¨å‘¼ã°ã‚Œã‚‹å¯å¤‰é•·ã®ãƒ‡ãƒ¼ã‚¿ã®åˆ—ã‚’å–り扱ã†ã“ã¨ãŒã§ãる． è«–ç†åž‹è¨€èªž: Prolog ã§ã¯æ–°ãŸãªè¿°èªžã‚’è«–ç†å¼ã§å®šç¾©ã™ã‚‹ã“ã¨ã«ã‚ˆã£ã¦ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’ 作り上ã’ã¦ã„ã． ã™ãªã‚ã¡ï¼Œ Prolog ã®ãƒ—ãƒã‚°ãƒ©ãƒ ã¯è«–ç†å¼ã®é›†ã¾ã‚Šã§ã‚る． Prolog ã‚„ LISP ã¯ï¼Œ FORTRAN ã‚„ BASIC ãªã©ã®æ‰‹ç¶šã型言語ã¨ã¯ç•°ãªã‚Šï¼Œ éžæ‰‹ç¶šã型言語ã¨å‘¼ã°ã‚Œã‚‹ï¼Ž 対話的使用，会話的使用: P
P#: A concurrent Prolog for .NET
P# is a compiler which facilitates interoperation between a concurrent superset of the Prolog programming language and C#. This enables Prolog to be used as a native implementation language for Microsoft's .NET platform. P# compiles a linear logic extension of Prolog to C# source code. P# can create C# objects from Prolog and use C#'s graphical, networking and other libraries. P# adds language con
『時相論ç†è¨€èªž Temporal Prolog 処ç†ç³»ã‚’公開ã€
昔æ‡ã‹ã—ã„ã€æ™‚相論ç†è¨€èªžã€‚1980年代後期ã ã£ãŸã‹â€¦ ãã®ä¸ã®Temporal Prologã«ã¤ã„ã¦ã¯ã€åƒ•ã¯ã€ã‹ãªã‚Šè©³ã—ã„。 Temporal Prologã®è€ƒæ¡ˆè€…ã®æ¡œå·æ°ã¨ã¯ã€å‹äººã§ã‚る。 ãã®Temporal Prologã®å‡¦ç†ç³»(実行系)ã‚’ã€å…¬é–‹ã—ãŸã€‚ 時相論ç†è¨€èªžã®å®Ÿç¾ã¨ã—ã¦ã¯ã€é€šå¸¸Prologã¨åŒã˜åŠ¹çŽ‡ã§å‹•ã。 ã“ã‚Œã¯ã€å¤§å¤‰ã«å‰ã„ã¨è‡ªè² ã—ã¦ã„る。 (ãŸã ã—ã€é€šå¸¸ã®Prolog処ç†ç³»ã®å®Ÿç¾ã¨ã—ã¦ã¯ã€è¶…ç´ æœ´ã§ä½Žæ€§èƒ½ã€‚特ã«ã€ç¯€ã‚’探ã™ã¨ã“ã‚ãªã‚“ãžã¯ã€æœ€æ‚ªã€‚ã¾ã€Temporal PrologãŒåŠ¹çŽ‡ã‚ˆãå‹•ãã“ã¨ã‚’示ã™ã®ãŒç›®çš„ã§ã€Prolog実ç¾ã¯(昔ã«)å¿…æ»ã§ã‚„ã£ãŸã®ã§ã€ã“ã‚“ãªã‚‚ã‚“ã ) 詳ã—ãã¯ã€ 効率ã®è‰¯ã„実ç¾ã«é–¢ã—㦠処ç†ç³»ãƒžãƒ‹ãƒ¥ã‚¢ãƒ« 処ç†ç³»ã®ã‚½ãƒ¼ã‚¹ http://www.takeoka.org/~take/ailabo/prolog/tmpro/tmpro114.lsp (æ–‡å—コードã¯
ウソã¤ãã£å¨˜è«–ç†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° - å°äººã•ã‚“ã®å¦„想
å…¨ã¦ã®å•é¡Œã«ã‹ã‚ã„ã„女ã®åãŒå‡ºã¦ãã‚‹ã€ã€Œç™»å ´ã™ã‚‹äººç‰©ã®ç™ºè¨€ã‚’手ãŒã‹ã‚Šã«å•é¡Œã‚’解ãタイプã€ã®è«–ç†ãƒ‘ズル集。 èŒãˆèŒãˆã‚¦ã‚½ã¤ãッ娘論ç†ãƒ‘ズルI 作者: å°é‡Žç”°åšä¸€å‡ºç‰ˆç¤¾/メーカー: イーグルパブリシング発売日: 2009/09/25メディア: å˜è¡Œæœ¬ï¼ˆã‚½ãƒ•ãƒˆã‚«ãƒãƒ¼ï¼‰è³¼å…¥: 5人 クリック: 172回ã“ã®å•†å“ã‚’å«ã‚€ãƒ–ãƒã‚° (7件) を見る * 出版社ã§ã®ç´¹ä»‹ >> http://www.tp-ep.co.jp/ep-hp/top.html 第１å•ç›®ã¯ã€ã“ã‚“ãªæ„Ÿã˜ã§ã™ã€‚ * 第１å•ç›®ã®ç”»åƒã‚¤ãƒ¡ãƒ¼ã‚¸ >> http://www.tp-ep.co.jp/ep-hp/images/top/ronripazuru_01.jpg ã€Q1】水泳大会 水泳大会ã§ã€ã“ã®ï¼”人ãŒï¼‘ä½ã‹ã‚‰ï¼”ä½ã‚’ç²å¾—ã—ã¾ã—ãŸï¼ˆåŒé †ä½ã¯ã‚ã‚Šã¾ã›ã‚“）。 スタートå‰ã®äºˆæƒ³ã¯ä¸‹ã®ã¨ãŠã‚Šã§ã€ï¼“人ãŒå½“ãŸã‚Šã€ï¼‘人ãŒå¤–ã‚Œã¾ã—ãŸã€‚ 誰ãŒä½•ä½ã ã£ãŸã®ã§ã—ょ
SWI-Prolog's home
HOME DOWNLOAD SWI-Prolog Sources/building Docker images Add-ons Browse GIT DOCUMENTATION Manual Packages FAQ Command line PlDoc Bluffersâ–¶ Prolog syntax PceEmacs HTML generation License Publications Rev 7 Extensions TUTORIALS Beginnerâ–¶ Getting started Learn Prolog Now! Simply Logical Debugger Development tools Advancedâ–¶ Modules Grammars (DCGs) clp(fd) Printing messages PlDoc Web applicationsâ–¶ Web a
1
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Why Prolog? - ProB Documentation
http://nojiriko.asia/
Book Details
Who killed Prolog? | Hacker News
ã„ã‚ã‚“ãªè¨€èªžã§å®¿é¡Œã‹ã‚‰Prologå•é¡Œãƒ»è§£ç”集
GitHub - Erdwolf/prolog: A prolog interpreter written in Haskell.
{{#tags}}- {{label}}
{{/tags}}