Programming in logic without logic programming

Robert Kowalski, Fariba Sadri

In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequen…