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

and-parallelism communication constraints data flow guarded Horn clauses mode declaration non- determinism or-parallelism P- Prolog parallel logic programming language read-only annotation synchronization

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Review text

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.

Recommendations

Cites work

Cited in

(5)

Describes a project that uses

Uses Software

This page was built for publication: P-Prolog: A parallel logic language based on exclusive relation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1819929)