| 
|
Quote: a logic clause is the same as 'for all x1..xk B1 or ... or x1..xk Bm is implied by A1 and ... and An'
topics >
all references >
references i-l >
Topic:
logic
Topic:
logic programming
Quotation Skeleton
A clause is a pair of sets of … B <-A1, … An.' where an atomic formula is predicate over … Constants are O-ary function symbols. … [p.4] A clause is the same as "for … ,xk B1 or … or Bm is implied by A1 and … and An" where k is the number of … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: an atomic formula in a logic clause is a predicate over variables and functions of variables or functions of functions...
Topic: logic (84 items)
Topic: logic programming (34 items)