A Unification Free Introduction to Logic Programming
A Unification Free Introduction to Logic Programming
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.
logic programming, unification, unification algorithms
Di Meglio, R.
03bcc28a-73b2-4384-840f-7bd221b6b63f
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
1993
Di Meglio, R.
03bcc28a-73b2-4384-840f-7bd221b6b63f
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Di Meglio, R. and Sassone, V.
(1993)
A Unification Free Introduction to Logic Programming.
8th Meeting on Logic Programming, GULP '93.
Record type:
Conference or Workshop Item
(Paper)
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.
Text
unifGulpFin.pdf
- Other
More information
Published date: 1993
Venue - Dates:
8th Meeting on Logic Programming, GULP '93, 1993-01-01
Keywords:
logic programming, unification, unification algorithms
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 261944
URI: http://eprints.soton.ac.uk/id/eprint/261944
PURE UUID: 2b3499fd-cb2e-4cd2-a5af-250c52c5cedf
Catalogue record
Date deposited: 12 Feb 2006
Last modified: 10 Sep 2024 01:40
Export record
Contributors
Author:
R. Di Meglio
Author:
V. Sassone
Download statistics
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