A mathematical definition of full Prolog
- 30 June 1995
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 24 (3) , 249-286
- https://doi.org/10.1016/0167-6423(95)00006-e
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- An operational formal definition of PROLOG: a specification method and its applicationNew Generation Computing, 1992
- A denotational semantics for PrologACM Transactions on Programming Languages and Systems, 1989
- Operational and denotational semantics of prologThe Journal of Logic Programming, 1987