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.


[img] PDF
Download (239Kb)


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
ePrint ID: 261944
Date Deposited: 12 Feb 2006
Last Modified: 27 Mar 2014 20:05
Publisher: Mediterranean Press
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261944

Actions (login required)

View Item View Item