P-Prolog: A parallel logic language based on exclusive relation (Q1819929)

This paper presents a parallel logic programming language named P-Prolog which is being developed as a logic programming language featuring both and- and or-parallelism. Compared with the other parallel logic programming languages, syntactic constructs such as read-only annotation, mode declaration and communication constraints are not used in P-Prolog. A new concept introduced in P-Prolog is the exclusive relation of guarded Horn clauses. Advances included in P-Prolog are: (1) The synchronization mechanism can determine the direction of data flow dynamically. (2) Guarded Horn clauses can be interpreted as either don't care non- determinism or don't know non-determinism. A prototype interpreter of P-Prolog has been implemented in C-Prolog. We are now implementing a P-Prolog interpreter in the C language.