Go up to Project Archive

Library

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.