A Unification Free Introduction to Logic Programming
Di Meglio, R. and Sassone, V. (1993) A Unification Free Introduction to Logic Programming. In, 8th Meeting on Logic Programming, GULP '93 Mediterranean Press.
In this paper, we give a new presentation of the fundamental results of the theory of Logic Programming, which differs from classical introductions in at least two ways: the use of predicate algebras to deal with model theoretical aspects and the parameterization of the resolution algorithm with respect to the specific unification algorithm implemented.
|Item Type:||Conference or Workshop Item (Paper)|
|Keywords:||logic programming, unification, unification algorithms|
|Divisions:||Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
|Date Deposited:||12 Feb 2006|
|Last Modified:||02 Mar 2012 11:58|
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)