member(X,[X---L]). member(X,[Y---L]):- member(X,L). max(X,Y) = X:- X? = Y. max(X,Y) = Y:- X! Y. X = X.?- member(Z,[max(0,1),2]). syntactic sugar for:?- max(0,1) = R, member(Z,[R,2]).
|
448
|
An abstract Prolog instruction set
– Warren
|
|
333
|
The integration of functions into logic programming: from theory to practice
– Hanus
- 1994
|
|
288
|
M.: A needed narrowing strategy
– Antoy, Echahed, et al.
- 2000
|
|
192
|
Warren’s Abstract Machine: A Tutorial Reconstruction
– Ait-Kaci
- 1991
|
|
192
|
An Overview of �Prolog
– Nadathur, Miller
- 1988
|
|
176
|
Logic Programming with Functions and Predicates: The Language BABEL
– Moreno-Navarro, Rodríguez-Artalejo
- 1992
|
|
135
|
Definitional trees
– Antoy
- 1992
|
|
112
|
Kernel Leaf: A Logic plus Functional Language
– Giovannetti, Levi, et al.
- 1991
|
|
102
|
M.: A demand driven computation strategy for lazy narrowing
– Loogen, López-Fraguas, et al.
- 1993
|
|
101
|
Narrowing as the Operational Semantics of Functional Languages
– Reddy
- 1985
|
|
89
|
Slog: a logic programming language interpreter based on clausal superposition and rewriting
– Fribourg
- 1985
|
|
61
|
Compiling Logic Programs with Equality
– Hanus
- 1990
|
|
57
|
Declarative programming in escher
– Lloyd
- 1995
|
|
47
|
The Spineless Tagless G-machine
– Jones, Salkild
- 1989
|
|
45
|
The Relation between Logic and Functional Languages: a Survey
– Bellia, Levi
- 1986
|
|
36
|
Efficient Translation of Lazy Functional Logic Programs into Prolog
– Hanus
- 1995
|
|
36
|
Graph-based Implementation of a Functional Logic Language
– Kuchen, Loogen, et al.
- 1990
|
|
36
|
An abstract machine for Oz
– Mehl, Scheidhauer, et al.
- 1995
|
|
35
|
Adding equations to NU-Prolog
– Naish
- 1991
|
|
33
|
The Definition of Kernel Oz
– Smolka
- 1995
|
|
25
|
Efficient Lazy Narrowing using Demandedness Analysis
– Moreno-Navarro, Kuchen, et al.
- 1993
|
|
24
|
Logic programming with equations
– Emden, Yukawa
- 1987
|
|
21
|
Efficient Implementation of Narrowing and Rewriting
– Hanus
- 1991
|
|
21
|
On the interaction of lazy evaluation and backtracking
– Hans, Loogen, et al.
- 1992
|
|
19
|
Implementation of Narrowing: The Prolog-Based Approach
– Cheong, Fribourg
- 1993
|
|
14
|
Functions as Passive Constraints
– At-Kaci, Podelski
- 1991
|
|
14
|
An extension of WAM for K-LEAF: a WAM-based compilation of conditional narrowing
– Bosco, Cecchi, et al.
- 1989
|
|
14
|
Dynamic Detection of Determinism
– Winkler
- 1991
|
|
13
|
The implementation of lazy narrowing
– Chakravarty, Lock
- 1991
|
|
13
|
Relating the implementation techniques of functional and functional logic languages
– Loogen
- 1993
|
|
11
|
On the Completeness of Narrowing as the Operational
– Gonz'alez-Moreno, Hortal'a-Gonz'alez, et al.
- 1993
|
|
11
|
Higher Order Babel: Language and implementation
– Kuchen, Anastasiadis
- 1996
|
|
10
|
Graph-Narrowing to Implement a Functional Logic Language
– Kuchen, Loogen, et al.
- 1992
|
|
9
|
A Complete Indexing Scheme for WAM-based Abstract Machines
– Hans
- 1992
|
|
9
|
From reduction machines to narrowing machines
– Loogen
- 1991
|
|
9
|
Rodr'iguez-Artalejo: Lazy Narrowing
– Moreno-Navarro, Kuchen, et al.
- 1990
|
|
8
|
Flang and its Implementation
– Mantsivoda
- 1993
|
|
7
|
Sofi: Implementation of a Parallel Logic Plus Functional Language
– Balboni, Bosco, et al.
- 1989
|
|
7
|
Towards lazy evaluation, sharing and non-determinism in resolution based functional logic languages
– Liu
- 1993
|
|
4
|
CAMEL: An Extension of the Categorical Abstract Machine to Compile Functional/Logic Programs
– Muck
- 1992
|
|
3
|
RELFUN: A relational/functional integration with valued clauses
– Boley
- 1986
|
|
3
|
Moreno-Navarro: Some Techniques for the Efficient Compilation of Lazy Narrowing into
– Jim'enez-Mart'in, Marino-Carballo, et al.
- 1992
|
|
3
|
Towards a WAM Model for
– Nadathur, Jayaraman
- 1989
|
|
2
|
On Extra Variables
– Hanus
- 1995
|
|
2
|
Advanced Indexing Techniques for the Functional Logic Programming Language BABEL
– Hans, Kuchen, et al.
- 1995
|
|
2
|
Higher Order Narrowing
– Prehofer
- 1994
|
|
1
|
An Introduction to Life --- Programming with Logic
– Ait-Kaci
- 1993
|
|
1
|
Using Resolution for a Sound and Efficient Integration of Logic and Functional Programming
– Bosco, Cecchi, et al.
- 1989
|
|
1
|
Narrowing vs. SLDResolution. TCS
– Bosco, Giovannetti, et al.
- 1988
|
|
1
|
A Tuly Functional Logic Language. Workshop Visions for the Future of Logic Programming at ILPS'95
– Curry
- 1995
|
