|
317
|
The Integration of Functions into Logic Programming: From Theory to Practice
– Michael Hanus
- 1994
|
|
155
|
Logic programming with functions and predicates: The language BABEL
– J J Moreno-Navarro, M Rodriguez-Artalejo
- 1992
|
|
100
|
Narrowing as the Operational Semantics of Functional Languages
– U S Reddy
- 1985
|
|
273
|
An Implementation of Narrowing Strategies
– Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner
- 2001
|
|
90
|
SLOG: a logic programming language interpreter based on clausal superposition and rewriting
– L Fribourg
- 1985
|
|
54
|
Declarative Programming in Escher
– J.W. Lloyd, J. W. Lloyd, C Fl J. W. Lloyd
- 1995
|
|
110
|
T OY: A multiparadigm declarative system
– F López-Fraguas, J Sánchez-Hernández
- 1999
|
|
102
|
Kernel LEAF: A Logic plus Functional Language
– E Giovannetti, G Levi, C Moiso, C Palamidessi
- 1991
|
|
43
|
Design and implementation of a generic, logic and functional programming language
– D Bert, R Echahed
- 1986
|
|
56
|
Compiling Logic Programs with Equality
– M Hanus
- 1990
|
|
550
|
Term Rewriting Systems
– J. W. Klop
- 1992
|
|
728
|
A formulation of the simple theory of types
– A Church
- 1940
|
|
278
|
The Oz Programming Model
– Gert Smolka
- 1995
|
|
824
|
Term Rewriting and All That
– F Baader, T Nipkow
- 1998
|
|
44
|
Curry: A Truly Functional Logic Language
– Michael Hanus, Herbert Kuchen, Juan José Moreno-Navarro
- 1995
|
|
134
|
A unified computation model for functional and logic programming
– Michael Hanus
- 1997
|
|
35
|
Narrowing vs. SLD-resolution
– P Bosco, E Giovannetti, C Moiso
- 1988
|
|
85
|
Mutagenesis: ILP experiments in a non-determinate biological domain
– Srinivasan And Muggleton, A. Srinivasan, S. H. Muggleton
- 1994
|
|
23
|
Classification of Individuals with Complex Structure
– A.F. Bowers, C. Giraud-Carrier, J.W. Lloyd
- 2000
|
