Title: Execution models of Prolog for parallel computers
Subjects: Parallel processing (Electronic computers), Prolog (Computer program language)