Login / Signup
The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language.
Zoltan Somogyi
Fergus Henderson
Thomas C. Conway
Published in:
ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)
Keyphrases
</>
logic programming language
logic programming
declarative semantics
constraint logic programming
inference rules
situation calculus
logic programs
high level
object oriented
deductive databases