Enhancing Prolog to Support Prolog Programming Environments
Abstract elided by the publisher.
Related papers
- A Chare Kernel Implementation of a Parallel Prolog Compiler PPoPP 1990
- Logic and Inheritance POPL 1986
- Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog POPL 1982
- A Region-Based Memory Manager for Prolog ISMM 2000
- The Concurrent Language, Shared Prolog TOPLAS 1991
- A Classical Implementation for Prolog-II ESOP 1986
- Abstracting Cryptographic Protocols by Prolog Rules SAS 2001
- Objects as Communicating Prolog Units ECOOP 1987