Improving Deterministic Computations in Lazy Functional Logic Languages.

Rafael Caballero Francisco Javier López-Fraguas

Published in: J. Funct. Log. Program. (2003)

Keyphrases

database languages
predicate logic
functional language
highly expressive
automated reasoning
modal logic
expressive power
logic programming
programming language
cross lingual
databases
lazy learning
black box
multi valued
digital circuits
asynchronous circuits
level set
functional programming
learning algorithm