OR parallel execution of Prolog programs with side effects

This publication has 10 references indexed in Scilit:

• Or-parallel execution models of Prolog
  Published by Springer Nature ,2005
• Parcel: project for the automatic restructuring and concurrent evaluation of LISP
  Published by Association for Computing Machinery (ACM) ,1988
• Advanced compiler optimizations for supercomputers
  Communications of the ACM, 1986
• PARLOG: parallel programming in logic
  ACM Transactions on Programming Languages and Systems, 1986
• Guarded horn clauses
  Published by Springer Nature ,1986
• Efficient Prolog memory management for flexible control strategies
  New Generation Computing, 1984
• Contributions to the Theory of Logic Programming
  Journal of the ACM, 1982
• Monitors
  Communications of the ACM, 1974
• Measurements of parallelism in ordinary FORTRAN programs
  Computer, 1974
• Concurrent control with “readers” and “writers”
  Communications of the ACM, 1971