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.

Download

[img] PDF
Download (239Kb)

Description/Abstract

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
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261944

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics