Vienna Parallel Logic(ID:2842/vie003)

Vienna Parallel Logic ( VPL ) is a persistent language and programming system that supports the concurrent execution of communicating processes and the computation of several alternative solutions by means of programmed backtracking. It unifies the worlds of sequential logic programming languages (Prolog) and concurrent logic programming languages (i.e., Parlog). Aspects of both language classes can be combined to any desired degree within one computation. Such a language is well suited for multidatabase applications.

(from Kuhn et al)

Structures:
Related languages
Parlog => Vienna Parallel Logic   Influence
Prolog => Vienna Parallel Logic   Influence
References:
  • Kuhn, E., H. Pohlai, et al. "Concurrency and backtracking in Vienna Parallel Logic" view details
          in Computer Languages 18(3) view details