翻訳と辞書
Words near each other
・ progressive/sequential coding
・ project
・ project assurance
・ project athena
・ project guardian
・ project mac
・ project management
・ project planning
・ projection
・ projective plane
prolog
・ prolog++
・ prolog-2
・ prolog-d-linda
・ prolog-ii
・ prolog-iii
・ prolog-linda
・ prolog/mali
・ prom
・ prom monitor


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

prolog : FOLDOC
Prolog
Programming in Logic or (French) Programmation en Logique. The first of the huge family of logic programming languages.
Prolog was invented by Alain Colmerauer and Phillipe Roussel at the University of Aix-Marseille in 1971. It was first implemented 1972 in ALGOL-W. It was designed originally for natural-language processing but has become one of the most widely used languages for artificial intelligence.
It is based on {LUSH} (or {SLD}) resolution {theorem proving} and unification. The first versions had no user-defined functions and no control structure other than the built-in depth-first search with backtracking. Early collaboration between Marseille and Robert Kowalski at University of Edinburgh continued until about 1975.
Early implementations included C-Prolog, ESLPDPRO, Frolic, LM-Prolog, Open Prolog, SB-Prolog, UPMAIL Tricia Prolog. In 1998, the most common Prologs in use are Q
. In 1998, the most common Prologs in use are Q


スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.