Modeling Prolog Control.

Roberto Barbuti Michael Codish Roberto Giacobazzi Giorgio Levi

Published in: POPL (1992)

Keyphrases

control system
expert systems
logic programming
machine learning
control strategy
optimal control
control method
image processing
website
control theory
discrete event
semantically equivalent