The Concurrent Language Shared Prolog.