Extending constructive negation for partial functions in lazy functional-logic languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1050, Issue , 1996, Pages 213-227

  Moreno Navarro, Juan José ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING; SEMANTICS;

CONSTRUCTIVE NEGATION; DEFAULT RULE; EFFICIENT IMPLEMENTATION; FUNCTION CALLS; FUNCTIONAL LOGIC LANGUAGES; IMPLEMENTATION TECHNIQUES; PARTIAL FUNCTIONS;

COMPUTER CIRCUITS;

EID: 84955587277     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60983-0_15     Document Type: Conference Paper

References (27)

1. P. Arenas, A. Gil, F. López-Fraguas. Combining Lazy Narrowing with Disequality Constraints. PLILP'94, Springer LNCS 844 > 385-399, 1994.
2. R. Barbuti, D. Mancarella, D. Pedreschi, F. Turini. Intensional Negation of Logic Programs. Proc. TAPSOFT'87, Springer LNCS 250, 96-110, 1987.
3. R. Barbuti, D. Mancarella, D. Pedreschi, F. Tirini. A Transformational Approach to Negation in Logic Programming. J. of Logic Programming, 8(3):201-228, 1990.
4. D. Chan. Constructive Negation Based on the Complete Database Proc. Int. Conference on Logic Programming'89, The MIT Press, 111-125, 1988.
5. D. Chan. An Extension of Constructive Negation and its Application in Coroutining. Proc. NACLP'89, The MIT Press, 477-493. 1989.
6. H. Comon, P. Lescanne. Equational Problems and Disunification. J. of Symbolic Computation, 7:371-425, 1989.
7. W. Drabent. What is Failure? An Approach to Constructive Negation. Acta Infor-matica 32, 27-59, Springer Verlag, 1995.
8. M. Femández. Narrowing Based Procedures for Equational Disunification. Applicable Algebras in Eng. Communications and Computing, 3:1-26, 1992.
9. M. Fitting, M. Ben-Jacob. Stratified and Three-valued Logic Programming Semantics Proc. Int. Conf. and Symp. on Logic Programming, 1988, pp. 1054-1069.
10. L. Fribourg. SLOG: A Logic Programming Language Interpreter based on Clausal Superposition find Rewriting. Proc. Symp. on Logic Programming, IEEE Comp. Soc. Press, 1985.
11. M. Hanus. Compiling Logic Programs with Equality. Proc. PLILP'90, Springer LNCS, 1990.
12. M. Hanus. The Integration of Functions into Logic Programs: A Survey. J. of Logic Programming, 1994.
13. M. Hanus. Combining Lazy Narrowing and Simplification. PLILP'94, Springer LNCS 844, 370-384, 1994.
14. P. Hill, J. Uoyd. The Gödel Programming Language. The MIT Press, 1994.
15. J. Jaffar, J.L. Lassez. Constraint Logic Programming. Proc. 14th ACM Symp. on Princ, of Prog. Lang., 114-119, 1987.
16. H. Kuchen, R. Loogen, J. J. Moreno-Navarro, M. Rodriguez-Artalejo. Graph-based Implementation of a Functional Logic Language Proc. ESOP, Springer LNCS 432, 271-290, 1990.
17. H. Kuchen, F. López-Fraguas, J.J. Moreno-Navarro, M. Rodriguez-Artalejo. Implementing a Lazy Functional Logic Language with Disequality Constraints. Joint International Conference and Symposium on Logic Programming, The MIT Press, 189-223, 1992.
18. K. Kunen. Negation in Logic Programming. J. of Logic Programming 4:289-308, 1987.
19. F.J. López-Fraguas. A General Scheme for Constraint Functioned Logic Programming. Proc. ALP'92, Springer LNCS, 1992.
20. M. Maher. Complete Axiomatization of the Algebras of Finite, Rational and Infinite Trees. Proc. 3rd Symp. on Logic in Computer Science, 348-357, 1988.
21. J.J. Moreno-Navarro, H.Kuchen, R.Loogen, M. Rodriguez-Artalejo. Lazy Narrowing in a Graph Machine. Proc. ALP'90, Springer LNCS 463, 298-317, 1990.
22. J.J.Moreno-Navarro, H. Kuchen, J. Mariño-Carballo, S. Winkler, W. Hans. Efficient Lazy Narrowing using Demandedness Analysis. Proc. PLILP'93, Springer LNCS 714, 167-183, 1993.
23. J.J. Moreno Navarro, M. Rodriguez Artalejo. Logic Programming with Functions and Predicates: The Language BABEL. J. of Logic Programming 12:189-223, 1992.
24. J.J. Moreno Navarro. Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. Proc. ICLP'94, The MIT Press, 1994.
25. L. Naish. Negation and Quantifiers in NU-Prolog. ICLP'86, Springer LNCS 225, 624-634, 1986.
26. M.J. Ramirez, M. Falaschi. Conditional Narrowing with Constructive Negation. Proc. ELP'92, Springer LNCS 660, 59-79, 1993.
27. P. Stuckey. Constructive Negation for Constraint Logic Programming Proc. IEEE Symp. on Logic in Computer Science, IEEE Comp. Soc. Press, 1991.