A parallel Prolog dialect focusing on concurrency and logic programming.