Title: Parallel execution of logic programs
Subjects: Logic programming, Parallel processing (Electronic computers)