GAMMALÖG: A COORDINATION LANGUAGE BASED ON GAMMA AND GÖDEL
Paolo Ciancarini, Daniela Fogli, Mauro Gáspari · 1996
In this paper we present Gammalog, a parallel logic language which provides a standard model theoretic semantics expressed in terms of multiset rewritings as in Gamma. We describe the semantics of the language and an implementation based on Godel.