Concurrent PROLOG: v. 1