In this paper,we deal with the problem of verifying local stratifiability of logic programs anddatabases presented by Przymusinski.Necessary and sufficient con
In this paper,we focus on the compiling implementation of parallel logic language PARLOG andfunctional language ML on distributed memory multiprocessors.Under