Computer Science Technical Reports
CS at VT

Algebraic Methods in Prolog Programming

Antoy, Sergio (1989) Algebraic Methods in Prolog Programming. Technical Report TR-89-05, Computer Science, Virginia Polytechnic Institute and State University.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
TR-89-05.pdf (1412280)


We discuss some difficulties of coding and invoking functions implemented by predicates and we propose a number of conceptual tools for overcoming these difficulties. We use an algebraic model which supports strategies for designing complete, parsimonious, and terminating functions. We describe a translation scheme for converting these functions into predicates and we prove a number of properties of this transformation. Our investigation provides an algebraic interpretation of the cut and raises two issues of lack of orthogonality in the Prolog programming languages. We outline practical tools, based on our ideas, which simplify substantially some significant steps of the design and use of certain Prolog predicates. We extend current work on the translation from algebraic specifications and term rewriting systems to logic programs along two

Item Type:Departmental Technical Report
Subjects:Computer Science > Historical Collection(Till Dec 2001)
ID Code:142
Deposited By:User autouser
Deposited On:05 December 2001