Title: Concurrent Prolog - Vol. 2