Guarded Horn clauses a parallel logic programming language with the concept of a guard - Ueda, Kazunori (1986)