'Nand circuit input1' diaporamas de présentation

Signature: parent (Parent, Child) /2 Purpose: Parent is a parent of Child

Logic Programming: Introduction. A procedure: a set of axioms (rules and facts) with identical signature ( predicate symbol and arity ). A logic program : a set of procedures (predicates) , defining relations in the program domain. Signature: parent (Parent, Child) /2

236 views • 22 slides