Micro-PROLOG: Programming in LogicPrentice/Hall International, 1984 - 401 ページ Basic concepts; Facts and queries; Rules; Lists; Logic programming using micro-Prolog; Complex conditions in queries and rules; List processing; Introduction to parsing; Some pragmatic considerations; Metalogical programming; Core micro-Prolog; The standard syntax of micro-Prolog; Applications of micro-Prolog; A critical path analysis program; Micro-Prolog for expert systems; The logic of two person games; Micro-Prolog for problem solving; Index. |
他の版 - すべて表示
多く使われている語句
adjacent-on all-trace ancestor-of append argument backtracking belongs-to bicycle breadth-first search capital-of Chapter clause command confirmed control reading country-in critical path critical path analysis data base Define the relation delete depth-first search dict dictionary displayed earliest finish earliest-start element Elizabeth2 evaluation example Exercises expert system expression fact factorial father-of y female forall forcing tree function call game tree give given graph has-length Henry father-of Henry-Snr is-noun-expression is-reported is-unsuitable-for isall condition legal-move-from length-of LESS logic programming loop detection male maplist Mary match max-of max-of-either merge meta-variable metalogical micro micro-PROLOG module mother-of Move Calculator MYCIN negated condition noun p1 val1 p2 val2 pair parent-of parse part-of plist position primitive problem PROLOG query condition recursive rule relation name second rule simple sentence single solution condition solved sort standard syntax sublist tail recursive true-of unary relation val beta value-of-b-to-move which(x written-by x y z