An operational formal definition of PROLOG: a specification method and its application
- 1 April 1992
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 10 (2) , 121-171
- https://doi.org/10.1007/bf03037477
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A logical operational semantics of full PrologPublished by Springer Nature ,1990
- A grammatical view of logic programmingPublished by Springer Nature ,1989
- Error diagnosis in logic programming an adaptation of E.Y. Shapiro's methodThe Journal of Logic Programming, 1987
- PARLOG: parallel programming in logicACM Transactions on Programming Languages and Systems, 1986
- On the semantics of logic programming languagesPublished by Springer Nature ,1986
- A Denotational Semantics for Logic ProgrammingDAIMI Report Series, 1985
- Relating logic programs and attribute grammarsThe Journal of Logic Programming, 1985
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965