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]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
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 and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 261944 |
| Date Deposited: | 12 Feb 2006 |
| Last Modified: | 02 Mar 2012 11:58 |
| Contributors: | Di Meglio, R. (Author) Sassone, V. (Author) |
| Date: | 1993 |
| Status: | Published |
| Publisher: | Mediterranean Press |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/261944 |
Actions (login required)
 |
View Item |
