P-Prolog: A Parallel Logic Programming Language

The following sections are included:

• Basic Concepts of P-Prolog

  • Exclusive Guarded Horn Clauses – Synchronization Mechanism

  • Non-exclusive Guarded Horn Clauses – Or-parallel Mechanism

• Syntax and Semantics

  • Syntax

  • Semantics

  • Parallelism in Execution

  • Built-in Predicates

• Programming Example and Comparison with Other Languages

  • Simplicity

  • Multi-directional relationship

  • Not Only Don't care Non-determinism but also Don't know Non-determinism

• Programming in P-Prolog

• Re-examination of P-Prolog in Terms of Theory