A Logic Language Based on GAMMA-Like Multiset Rewriting.
Paolo Ciancarini, Daniela Fogli, Mauro Gáspari · 1995
. Gammalog is a logic language based on multiset rewriting. The language combines the ability of describing parallel programs made of multiset transformation rules as in GAMMA with the execution model of logic programming in a strongly typed framework as in Godel. We describe the design choices, the syntax, and the semantics. Gammalog has a standard model theoretic semantics expressed in terms of multiset rewritings; soundness and completeness results are proved with respect to extended SLD resolution. We present a prototype implementation of the language: it is based on Godel which has been extended to support first class multisets. Finally, as an example of the expressive power of the language we provide a specification of a simple operating system. 1 Introduction Languages like FCP [19] and Parlog [10] deal with parallelism by adding explicit mechanisms for synchronization and communication to the logic programming paradigm. These languages are based mostly on a model of parallel p...