A pi-Calculus Specification of Prolog
No abstract available.
Related papers
- GENA - A Tool for Generating Prolog Analyzers from Specifications SAS 1995
- Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog POPL 1982
- The gradualizer: a methodology and algorithm for generating gradual type systems POPL 2016
- The Concurrent Language, Shared Prolog TOPLAS 1991
- Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG TOPLAS 1994
- Enhancing Prolog to Support Prolog Programming Environments ESOP 1988
- A Classical Implementation for Prolog-II ESOP 1986
- Abstracting Cryptographic Protocols by Prolog Rules SAS 2001