A parallel logic programming language for PEPSys

Authors:
Michael Ratcliffe;Jean-Claude Syre
Affiliations:
ECRC, Muenchen, West Germany;ECRC, Muenchen, West Germany
Venue:
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Year:
1987

Citing 5
Cited 0

PARLOG: parallel programming in logic

ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Concurrent Prolog: A Progress Report

Computer
Initial evaluation of a virtual machine for Or-parallel execution of logic programs

Proc. of the IFIP TC 10 working conference on Fifth generation computer architectures
Delta Prolog: A Distributed Backtracking Extension with Events

Proceedings of the Third International Conference on Logic Programming
Parallel Logic Programming for Numeric Applications

Proceedings of the Third International Conference on Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a new parallel Logic Programming language designed to exploit the OR- and Independent AND-parallelisms. The language is based on conventional Prolog but with natural extensions to support handling of multiple solutions and expression of parallelism.