QU-PROLOG-AN EXTENDED PROLOG FOR SYMBOLIC COMPUTATION.

Staples John, Robinson Peter J. and Hagen Richard A. (1988). QU-PROLOG-AN EXTENDED PROLOG FOR SYMBOLIC COMPUTATION.. In: Proceedings of the Eleventh Australian Computer Science Conference, ACSC-11. Australian Computer Science Communications; v 10, n 1., St Lucia, Aust, (194-203). .

Author Staples John
Robinson Peter J.
Hagen Richard A.
Title of paper QU-PROLOG-AN EXTENDED PROLOG FOR SYMBOLIC COMPUTATION.
Conference name Proceedings of the Eleventh Australian Computer Science Conference, ACSC-11. Australian Computer Science Communications; v 10, n 1.
Conference location St Lucia, Aust
Publisher Univ of Queensland
Publication Year 1988
Sub-type Fully published paper
Open Access Status Not yet assessed
Volume 10
Issue 1
Start page 194
End page 203
Total pages 10
Language eng
Abstract/Summary The Prolog concept of data is inadequate for many symbolic computation applications. The underlying problem is that Prolog is ignorant of the special properties of variables bound by quantifiers. We illustrate the problem by an example, then describe a solution. Our solution is an extension of pure Prolog which we call Qu-Prolog. It has notations for arbitrary quantifiers and for quantifiable variables. These are meta level notations for objects occurring in the syntactic domains which Qu-Prolog reasons about. The version of Qu-Prolog described here has no quantification at the meta logic programming level. The Qu-Prolog unification algorithm recognises relevant properties of bound variables. A substitution operation is provided, which is evaluated during unification and which manages the scopes of bound variables correctly.
Subjects 2200 Engineering
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Conference Paper
Sub-type: Fully published paper
Collection: Scopus Import - Archived
 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 1 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Tue, 14 Jun 2016, 11:46:44 EST by System User