Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl).

Published in: FLOPS (2012)

Keyphrases

real time
causal relationships
causal models
logic programming
domain independent
logical formulas
control system
low cost
rule engine
asynchronous circuits
processor sharing
service rates
predicate logic
classical logic
queueing networks
high speed
neural network