A distributed and-or parallel Prolog network. - Karen Lee Wrench (1990)