On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry.

Christoph Beierle Udo Lelitko

Published in: KDPD (2013)

Keyphrases

logic programming language
high level
logic programming
constraint logic programming
inference rules
low level
logic programs
situation calculus
constraint solving
databases
database
lower bound
linear programming
higher level
propositional logic
declarative semantics