YAPDSS

a Distributed Or-Parallel Prolog System, based on Stack Splitting, since 2003.