Text this: Parallel Logic Programming for Problem Solving.