Concurrent Prolog by David Shapiro