PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 61(75), pp. 137--152 (1997)
How to generalize logic programming to arbitrary set of clauses
Slavisa B. Presi\'cMatematicki fakultet, Beograd, Yugoslavia
Abstract: We state how one can extend Logic Programming to any set of clauses.
Classification (MSC2000): 68N17
Full text of the article:
Electronic fulltext finalized on: 1 Nov 2001. This page was last modified: 6 Feb 2002.
© 2001 Mathematical Institute of the Serbian Academy of Science and Arts