Attributed Variables in XSB
نویسندگان
چکیده
منابع مشابه
Attributed Variables for Dynamic Constraint Solving
Armin Wolf Fraunhofer Gesells haft Institute for Computer Ar hite ture and Software Te hnology (FIRST) Kekul estra e 7, D-12489 Berlin, Germany Armin.Wolf first.fraunhofer.de http://www.first.fraunhofer.de Abstra t Attributed variables are an approved te hnique for onstraint storage and retrieval. They provide a means of asso iating arbitrary attributes that an be used to extend the uni ation i...
متن کاملCompiling Constraint Handling Rules into Prolog with Attributed Variables
We introduce the most recent and advanced implementation of constraint handling rules (CHR) in a logic programming language, which improves both on previous implementations (in terms of completeness , exibility and eeciency) and on the principles that should guide such a Prolog implementation consisting of a runtime system and a compiler. The runtime system utilizes attributed variables for the...
متن کاملThe XSB Logic Programming System
At the core of XSB is an industrial-strength, multi-threaded Prolog system that is largely ISO-compliant, executes in both 32-bit and 64-bit modes, and has full support for various forms of tabling and constraint-handling rules at the engine level. Numerous libraries and packages have been written for XSB that allow sophisticated interfaces to Java, C, and to various database systems. Other pac...
متن کاملA Summary of XSB Performance
This paper is a collection of benches, performance comparisons, and prooles for XSB. Within XSB itself, it includes comparisons of SLG derivation to SLD and SLDNF, and gives preliminary indications of the eeectiveness of optimizations that are either presently contained in XSB or under consideration for inclusion. It also contains an extended comparison of XSB with CORAL 11]. It concludes with ...
متن کاملInterning Ground Terms in XSB
This paper presents an implementation of interning of ground terms in the XSB Tabled Prolog system. This is related to the idea of “hash-consing”. I describe the concept of interning atoms and discuss the issues around interning ground structured terms, motivating why tabling Prolog systems may change the cost-benefit tradeoffs from those of traditional Prolog systems. I describe the details of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2000
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80109-4