Deriving a compilation method for parallel logic languages - Kohda, Youji; Tanaka, Jiro (1988)
Keywords: Compiling (Electronic computers); Prolog (Computer program language)