|
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. [Chapter in forthcoming Springer book on ESPRIT] スポンサード リンク
|