Paper Info
Title
Global Variables In Logic Programming
Abstract
We show that adding global variables to logic programming can solve some common problems of reliability and programmer productivity in large logic programs. By presenting a formal semantics for logic programs with global variables, we show that this addition retains a clean semantics. This addition has the consequences that conjunction is neither commutative nor absorptive, but we show that the practical loss is small. We also describe an implementation of Prolog with global variables as a translator to ordinary Prolog which preserves the efficiency of the Prolog program, while statically detecting some programming errors, and avoiding others altogether.
Year
Venue
Keywords
1997
LOGIC PROGRAMMING: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
formal semantics
Field
DocType
ISSN
Functional logic programming,Computational logic,Programming language,Horn clause,Computer science,Algorithm,Philosophy of logic,Logic programming,Higher-order logic,Dynamic logic (modal logic),Global variable
Conference
1061-0464
Citations 
PageRank 
References 
3
0.40
1
Authors
1
Name
Order
Citations
PageRank
Peter Schachte125622.76