A Unification Free Introduction to Logic Programming


Di Meglio, R. and Sassone, V. (1993) A Unification Free Introduction to Logic Programming At 8th Meeting on Logic Programming, GULP '93.

Download

[img] PDF unifGulpFin.pdf - Other
Download (245kB)

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)
Venue - Dates: 8th Meeting on Logic Programming, GULP '93, 1993-01-01
Keywords: logic programming, unification, unification algorithms
Organisations: Web & Internet Science
ePrint ID: 261944
Date :
Date Event
1993Published
Date Deposited: 12 Feb 2006
Last Modified: 17 Apr 2017 21:49
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261944

Actions (login required)

View Item View Item