Constraint logic programming

Constraint Logic Programming.
Qualitative Reasoning.
Inductive Logic Programming.
The addition of belief networks for handling uncertainty.
a major update on machine learning.
additional techniques for improving program efficiency.

Constraint logic programming
Constraint optimization
Constraint programming
Constraint satisfaction dual problem
Constraint satisfaction problem ...

Constraint Logic Programming - A child of Prolog finds new life solving programming's nastier problems. By Dick Pountain. Byte (February 1995).

See "Effective Bayesian Inference for Stochastic Programs", "Bellman Equations for Stochastic Programs", "Nondeterministic Lisp as a Substrate for Constraint Logic Programming", SCREAMER (software), and the modeling language of BUGS.

See also: Logic programming, Knowledge, Inference, AI, Knowledge representation