Go up to Project Archive |

**Lazy Narrowing**-
**Lazy Narrowing: Strong Completeness and Eager Variable Elimination**- Research done at SCORE; here you can find a local copy.
**Strong Completeness of a Lazy Conditional Narrowing Calculus**- Research done at SCORE; here you can find a local copy.
**A Deterministic Lazy Narrowing Calculus**- Research done at SCORE; here you can find a local copy.
**Implementation of Lazy Narrowing Calculi in Mathematica**- Research done at SCORE; RISC-Linz technical report.
**Mathematica Program for LCNC (deterministic version)**- A program developed at SCORE; here you can find a local copy.

**Constraint Solving**-
**CLP(CF) Constraint Logic Programming over Complex Functions**- A constraint logic programming system foir the domain of complex function developed at RISC-Linz.
**Extending RISC-CLP(Real) to Handle Symbolic Functions**- Extending the constraint logic programming system for the domain of reals developed at RISC-Linz.
**Non-linear Constraints Solving over Real Numbers in Constraint Logic Programming (Introducing RISC-CLP)**- Introducing a constraint logic programming system for the domain of reals developed at RISC-Linz.

**Functional Logic Programming**-
**Functional Logic Programming**- A WWW page on FLP.
**The Integration of Functions into Logic Programming: From Theory to Practice**- A survey paper on FLP.

Maintained by: Wolfgang Schreiner

Last Modification: February 22, 1999