The basic problems of the logic programming. Relationship of the
PROLOG-like languages and the resolution calculus. The minimal model of a logic
program. The fixpoint problem. The treatment of the negative information.
1998-05-25 11:39:43 MET DST
This page is maintained by the webmaster.
You are the # visitor of this page.