Analysis of residuating logic programs
- 30 September 1995
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 24 (3) , 219-245
- https://doi.org/10.1016/0743-1066(94)00105-f
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The integration of functions into logic programming: From theory to practiceThe Journal of Logic Programming, 1994
- Functions as passive constraints in LIFEACM Transactions on Programming Languages and Systems, 1994
- Logic programming with functions and predicates: The language BabelThe Journal of Logic Programming, 1992
- A practical framework for theabstract interpretation of logic programsThe Journal of Logic Programming, 1991
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982