General Amalgamated Programming with Logic. ef="module.php?name=Lexikon&file=search&eid=1&query=LOGPRO">LOGPRO group, Linkoping Sweden. A restricted version of {constraint logic programming}, using {S-unification} but not restricted to a single domain. [Chapter in forthcoming Springer book on eSPRIT]