×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [parent of childparent]
Home >
parent of childparent
Logic Programming Two possible work modes: 1.At the lab: Use SICstus Prolog. To load a prolog file (*.pl or *.pro extension) to the interpreter, use: ?-
221 views
O A procedure: a set of axioms (rules and facts) with identical signature (predicate symbol and arity). o A logic program: a set of procedures (predicates),
221 views
Logic Programming
28 views