Programming in an Integrated Functional and Logic Language (1999)

by J. W. Lloyd , Y. Guo , M. Hagiya
Citations:65 - 14 self

Documents Related by Co-Citation

336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
160 Logic Programming with Functions and Predicates: The Language BABEL – J Moreno-Navarro, M Rodríguez-Artalejo - 1992
110 Narrowing as the operational semantics of functional languages", Unpublished report – U Reddy - 1985
294 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
92 SLOG: A logic programming language interpreter based on clausal superposition and rewriting – L Fribourg - 1985
56 Declarative Programming in Escher – J.W. Lloyd, J. W. Lloyd, C Fl J. W. Lloyd - 1995
125 TOY: A multiparadigm declarative system – F López-Fraguas, J Sánchez-Hernández - 1992
108 Kernel LEAF: a logic plus functional language, The – E Giovannetti, G Levi, C Moiso, C Palamidessi - 1991
44 Design and Implementation of a Generic, Logic and Functional Programming Language – D Bert, R Echahed - 1986
57 Compiling Logic Programs with Equality – M Hanus - 1990
567 Term Rewriting Systems – J. W. Klop - 1992
854 A formulation of the simple theory of types – Alonzo Church - 1940
294 The Oz Programming Model – Gert Smolka - 1995
944 Term Rewriting and All That – Franz Baader, Tobias Nipkow - 1998
53 Curry: A Truly Functional Logic Language – Michael Hanus, Herbert Kuchen, Juan José Moreno-Navarro - 1995
144 A unified computation model for functional and logic programming – Michael Hanus - 1997
35 Narrowing vs. SLD-resolution – P G Bosco, E Giovannetti, C Moiso - 1988
92 Mutagenesis: ILP experiments in a non-determinate biological domain – Srinivasan And Muggleton, A. Srinivasan, S. H. Muggleton - 1994
24 Classification of Individuals with Complex Structure – A.F. Bowers, C. Giraud-Carrier, J.W. Lloyd - 2000