Marelle by larsyencken
Test-driven system administration with a little extra logic. View the Project on GitHub larsyencken/marelle Download ZIP File Download TAR Ball View On GitHub Marelle ("hopscotch") Test-driven system administration in SWI-Prolog, in the style of Babushka. Marelle uses logic programming to describe system targets and rules by which these targets can be met. Prolog's built-in search mechanism makes
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ページを開ã
http://nojiriko.asia/
{{#tags}}- {{label}}
{{/tags}}