A WAM-Based Implementation of a Logic Language with Sets

A WAM-Based Implementation of a Logic Language with Sets (1993)

Cached

Download Links

[ftp.cs.nmsu.edu]

by Agostino Dovier , Enrico Pontelli

Venue:	PLILP'93, volume 714 of LNCS
Citations:	6 - 4 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A WAM-Based Implementation of a Logic Language with Sets	user correction - Legacy Corrections
AUTHOR NAME	Agostino Dovier	user correction - Legacy Corrections
AUTHOR AFFIL	Dipartimento di Informatica; Universita ' di Pisa	user correction - Legacy Corrections
AUTHOR ADDR	C.so Italia 40, 56100 PISA; ITALY	user correction - Legacy Corrections
AUTHOR NAME	Enrico Pontelli	user correction - Legacy Corrections
AUTHOR AFFIL	New Mexico State University; Dept. Computer Science	user correction - Legacy Corrections
AUTHOR ADDR	Las Cruces, NM 88003; USA	user correction - Legacy Corrections
ABSTRACT	: the paper analyzes an approach for integrating set theoretical constructs into a logic programming language. The focus is on describing a new abstract machine, based on the classical WAM, designed to support these new features. A major part of the paper concentrates on the implementation of the new unification algorithm and the set-constraints management support. 1 Introduction Set theory represents a universally accepted mean for representing various forms of knowledge, both in formal and commonsense reasoning. Nevertheless their use as a programming tool has been quite limited, due to the inherent complexity of computing with sets and the gap existing between unordered (sets) and ordered (computer memory) structures. In recent years, the evolution of declarative programming paradigms (like functional and logic programming) resulted in more effort being put towards integrating set theory in these new programming languages. Various proposals [2,5,31] describe the problems intr...	user correction - Legacy Corrections
YEAR	1993	INFERENCE
VENUE	PLILP'93, volume 714 of LNCS	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	275--290	INFERENCE
TECH	Manuscript	INFERENCE
CITATIONS	33 found	ParsCit 1.0