GAPLog

General Amalgamated Programming with Logic

LOGPRO group, Linkoping Sweden

A restricted version of constraint logic programming, using S-unification but not restricted to a single domain.

"Logic Programs with External Procedures", J. Maluszynski et al, in Logic Programming Languages: Constraints, Functions and Objects, K. R. Apt et al eds, MIT Press, 1993.