| 
|
Quote: logic programming is non-deterministic since a procedure call matches more than one definition
topics >
all references >
references i-l >
Topic:
logic programming
Topic:
non-deterministic processing
Note
Predicate logic is non-deterministic since a procedure call can be matched by more than one procedure definition--eg Fact (a,x) matched by Fact (0,1) and Fact (y+1, x) with a=y+1
Topic: logic programming (34 items)
Topic: non-deterministic processing (19 items)