Control and data driven execution of logic programs: A comparison

DOI10.1007/BF01379150zbMath0604.68011MaRDI QIDQ1083186

Simon Kasif

Publication date: 1986

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

zbMATH Keywords

parallelismcontrol flowautomatic transformationsConcurrent Prolog programcontrol driven execution of PRISM programsdata driven execution of Concurrent Prologdata-flowparallel logic programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)

Uses Software

• PARLOG
• GHC

Cites Work

• PARLOG: parallel programming in logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Control and data driven execution of logic programs: A comparison