| 
|
Quote: a computation in logic programming consists of a sequence of goal statements derived from a set of Horn clauses
topics >
all references >
references i-l >
Topic:
logic programming
Quotation Skeleton
Given a set S of Horn clauses and … Cn such that C[i+1] is derived by procedure … [logic programming] Google-1 Google-2
Copyright clearance needed for quotation.
Topic: logic programming (34 items)