Logic programming (M3) 2+0

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. Special strategies.


1998-05-25 11:39:43 MET DST
This page is maintained by the webmaster.
You are the # visitor of this page.