General Amalgamated Programming with Logic. LOGPRO group,

Linkoping Sweden. A restricted version of constraint logicprogramming, using S-unification but not restricted to a

single domain.