Specification and initialization of a logic computer system

DOI10.1007/BF03037441zbMath0593.68007MaRDI QIDQ1076506

Anthony J. Kusalik

Publication date: 1986

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

logic programmingspecificationConcurrent Prologlogic computer systemlogic inference machineslogic operating systemoperational initialization

Mathematics Subject Classification ID

Theory of operating systems (68N25) Theory of software (68N99)

Uses Software

• PARLOG
• GHC

Cites Work

• Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog
• Bounded-wait merge in Shapiro's concurrent Prolog
• PARLOG: parallel programming in logic
• Implementing parallel algorithms in concurrent prolog: The Maxflow experience
• Unnamed Item
• Unnamed Item

This page was built for publication: Specification and initialization of a logic computer system