17 pages matching ask(Hypothesis in this book
Results 1-3 of 17
What people are saying - Write a review
We haven't found any reviews in the usual places.
The Basic Ingredients
The Syntax of PROLOG
4 other sections not shown
add_f acts add_fact(Hypothesis anonymous variable applied architect ASCII ask(Hypothesis atom atom(Hypothesis binds the variable bound boundary condition brackets built-in predicate called character check_specs chip_trade clause combine(Value_left compound term conjunction contai contains cpus declared deep backtracking defined disable backtracking disjunction domestic element empty list evaluating example fact procedure fail fail fail Fails on backtracking fails to match false Figure frank(week goal fails goal succeeds goal-structure gray_&_sons green cut harare hard_disks hong_kong Hypothesis if-then-else predicate inference engine infinite loop integer logical value london los_angeles matches the head member goal member(zn my_is negation negation as failure new_yorkers operator perth power_supplies precedence number predicate name problem program file PROLOG query railroad diagram ram_chips assortment recursive level recursive rule red cut REDO result Rulestack san_francisco second argument semi-colon singapore solution syntax Tail taipei_trade third argument true unbound variable Val ue Value_right Valuel wafer_house write write(Hypothesis