A model and an implementation of a logic programming environment
- 25 June 1985
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 20 (7) , 191-198
- https://doi.org/10.1145/17919.806840
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Systems programming in concurrent prologPublished by Association for Computing Machinery (ACM) ,1984
- Towards a programming language based on the notion of two-level grammarTheoretical Computer Science, 1983
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Algorithmic program diagnosisPublished by Association for Computing Machinery (ACM) ,1982
- Partial evaluation as a means for inferencing data structures in an applicative languagePublished by Association for Computing Machinery (ACM) ,1982
- Query-by-Example: A data base languageIBM Systems Journal, 1977
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976