92 pages matching IBM Prolog in this book
Results 1-3 of 92
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
addax answer backcha backchain BACKIT1 backtracking built-in predicate Chapter choice point clause compiler compute constraints data structures database declarative defined definition described difference list efficient eg_item English evaluation example execution exit expert system explanation fact fail forward chaining goal grammar handle Herbrand base Horn clause IBM Prolog inference engine input interpreter John knowledge base knowledge systems label logic programming logical form look Mary match metainterpreter method model theory modify natural language needed negation node nonterminal notation noun phrase operator output parse path problem procedure Prolog program Prolog rules quantifier question recursive reorder represented rule says second rule Section semantic items sentence sequence simple slot specified subgoal subtree succeeds Syllog symbol syntactic syntax Tablelnfo techniques terminal translation tree unified verb VM operating system workspace write