{log}: A language for programming in logic with finite sets
- 31 July 1996
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 28 (1) , 1-44
- https://doi.org/10.1016/0743-1066(95)00147-6
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Implementation of subset-equational programsThe Journal of Logic Programming, 1992
- Notes on implementing sets in PrologCommunications of the ACM, 1992
- Compilation of set terms in the logic data language (LDL)The Journal of Logic Programming, 1992
- HypersetsThe Mathematical Intelligencer, 1991
- Set constructors in a logic database languageThe Journal of Logic Programming, 1991
- A rule-based language with functions and setsACM Transactions on Database Systems, 1991
- Logic programming with setsJournal of Computer and System Sciences, 1990
- A completeness theorem for SLDNF resolutionThe Journal of Logic Programming, 1989
- Unification theoryJournal of Symbolic Computation, 1989
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982