logic programming
logic programming
| Noun | 1. | logic programming - a computer language designed in Europe to support natural language processing |
| 2. | logic programming - creating a program that enables the computer to reason logically |
| 单词 | logic programming | ||||||
| 释义 | logic programminglogic programming
logic programminglogic programming(artificial intelligence, programming, language)The programmer writes a "database" of "facts", e.g. wet(water). ("water is wet") and "rules", e.g. mortal(X) :- human(X). ("X is mortal is implied by X is human"). Facts and rules arecollectively known as "clauses". The user supplies a "goal" which the system attempts toprove using "resolution" or "backward chaining". Thisinvolves matching the current goal against each fact or theleft hand side of each rule using "unification". If thegoal matches a fact, the goal succeeds; if it matches a rulethen the process recurses, taking each sub-goal on the righthand side of the rule as the current goal. If all sub-goalssucceed then the rule succeeds. Each time a possible clause is chosen, a "choice point" iscreated on a stack. If subsequent resolution fails thencontrol eventually returns to the choice point and subsequentclauses are tried. This is known as "backtracking". Clauses may contain logic variables which take on any valuenecessary to make the fact or the left hand side of the rulematch a goal. Unification binds these variables to thecorresponding subterms of the goal. Such bindings areassociated with the choice point at which the clause waschosen and are undone when backtracking reaches that choicepoint. The user is informed of the success or failure of his firstgoal and if it succeeds and contains variables he is told whatvalues of those variables caused it to succeed. He can thenask for alternative solutions. logic programming
Synonyms for logic programming
|
||||||
| 随便看 |
|
英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。