Knowledge Systems and Prolog: Developing Expert, Database, and Natural Language Systems |
Other editions - View all
Common terms and phrases
addax answer argument BACKIT1 backtracking built-in predicate Chapter choice point clause compiler compute constraints data structures database declarative defined definition described difference list efficient eg item eg_number element English evaluation example execution exit expert system explanation fact fail focalizers forward chaining goal grammar handle head Herbrand base Horn clause IBM Prolog inference engine input interpreter John knowledge base knowledge systems label lemma 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 postmods problem procedure Prolog program quantifier question recursive reorder represented second rule Section semantic items Sems sentence sequence simple slot specified Stratum subgoal subtree succeeds Syllog syntactic syntax TableInfo techniques terminal translation tree unified verb VM operating system write