Logic Programming with Perl and Prolog
Logic Programming with Perl and Prolog Dec 15, 2005 by Robert Pratte Computing languages can be addictive; developers sometimes blame themselves for perceived inadequacies, making apologies for them. That is the case, at least, when one defends his or her language of choice against the criticism of another language’s devotee. Regardless, many programmers prefer one language, and typically ground t
『SWI-Prologã‚’Gnu Emacsã§ä½¿ã†ã€Windows下ã§ã€‚ã€
Windowsã§ã‚‚ã€GnuEmacsã® .emacs ã«ã€ä»¥ä¸‹ã‚’書ãã¨è‰¯ã—。 --- ; for SWI-Prolog (setq auto-mode-alist (append '(("\\.pl" . prolog-mode)) auto-mode-alist)) (setq prolog-program-name "C:/Progra~1/pl/bin/plcon") (setq prolog-consult-string "[user].\n") --- SWI-Prologã®ãƒãƒ¼ã‚¸ãƒ§ãƒ³ SWI-Prolog (Multi-threaded, Version 5.6.8) Windows用é…布ãƒã‚¤ãƒŠãƒªã‚’ãã®ã¾ã¾ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ« emacs(Meadow)ã®ãƒãƒ¼ã‚¸ãƒ§ãƒ³ GNU Emacs 21.4.1 (i386-mingw-nt5.1.2600) of 2005-08-28 on CU
P-99: Ninety-Nine Prolog Problems
Please note: This page has been moved to a new location. If this page is not redirected automatically, then try the new address: https://sites.google.com/site/prologsite/prolog-problems [email protected] or werner.hett@gmail.com The purpose of this problem collection is to give you the opportunity to practice your skills in logic programming. Your goal should be to find the most elegant solution
Life with Cygwin
æ²–ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢æ ªå¼ä¼šç¤¾ã¯ã€æ²–é€šä¿¡ã‚·ã‚¹ãƒ†ãƒ æ ªå¼ä¼šç¤¾ãŠã‚ˆã³æ ªå¼ä¼šç¤¾æ²–インフォテックã¨å¹³æˆ22å¹´10月1日をもã£ã¦åˆä½µã„ãŸã—ã¾ã—ãŸã€‚新会社åã¯ã€æ ªå¼ä¼šç¤¾OKIソフトウェアã¨ãªã‚Šã¾ã™ã€‚3社ãŒè¡Œã£ã¦ãŠã‚Šã¾ã™äº‹æ¥ã¯æ–°ä¼šç¤¾ã«ã¦å¾“æ¥é€šã‚Šç¶™ç¶šã„ãŸã—ã¾ã™ã€‚
prologã«æŒ‘戦 - åˆå¦è€…ã®ç®¸ç½®
http://sourceforge.jp/projects/descartes/wiki/FrontPage デカルト言語ã®wikiã«ãƒ—ãƒã‚°ãƒ©ãƒ 例ãŒè¼‰ã£ã¦ã¦ã€Œprologã¿ãŸã„ãªæ„Ÿã˜ã€çš„ãªèª¬æ˜Žã§appendãŒå‡ºã¦ã„ãŸã€‚僕ã¯prologã£ã¦ã„ã†ã¨ã€ãªã‚“ã‹äººå·¥çŸ¥èƒ½ã®è©±ã¨ã‹ã§æŽ¨è«–ãŒã©ã†ã®ã“ã†ã®ã¨ã‹ã€ãƒãƒƒã‚¯ãƒˆãƒ©ãƒƒã‚¯ãŒã‚ーワードã¨ã‹ã€ãã‚“ãªã“ã¨ã‚’知ã£ã¦ã„る程度ã§ã€ã»ã¨ã‚“ã©çŸ¥ã‚‰ãªã„。関数型をã¡ã‚‡ã„ã¡ã‚‡ã„弄ã£ã¦ããŸãŠé™°ã§ãªã‚“ã¨ãªãã¯ã‚ã‹ã‚‹ã‚“ã ã‘ã©ã€ã©ã†ã—ã¦ã‚‚æ„味ãŒã‚ã‹ãƒ¼ã‚‰ã‚“。 append(Z, [], Z). append( [W | Z1], [W | X1], Y) :- append(Z1, X1, Y). ï¼’ã¤ã‚ã‚‹ã®ã¯ãƒ‘ターンマッãƒãƒ³ã‚°ã‹ã€ã¨ã‹ã‚ã‹ã‚‹ã‚“ã ã‘ã©ã€æ¬¡ãŒã„ã¿ãµã€‚書ãæ–¹ã¨ã—ã¦ã¯haskellã‚„erlangã¿ãŸãcar, cdrãŒæ›¸ã„ã¦ã‚ã‚‹ã‚“ã ã‚ã†ã¨æ€ã‚れるんã ã‘ã©ä½•ã§ç¬¬ä¸€ç¬¬äºŒå¼•æ•°ãŒåŒ
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}