Prolog Extension of

Constraint Logic Programming.

cc 0 Generalisation of
1