Oriented equational clauses as a programming language
- 31 August 1984
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 1 (2) , 165-177
- https://doi.org/10.1016/0743-1066(84)90003-7
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Associative-commutative unificationJournal of Symbolic Computation, 1987
- Prolog in 10 figuresCommunications of the ACM, 1985
- Computing with rewrite systemsInformation and Control, 1985
- Oriented equational clauses as a programming languageThe Journal of Logic Programming, 1984
- Programming with EquationsACM Transactions on Programming Languages and Systems, 1982
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and AssociativityJournal of the ACM, 1974
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965