We study the properties of input-consuming derivations of moded logic programs. Inputconsuming derivations can be used to model the behavior of logic programs using dynamic scheduling and employing constructs such as delay declarations. We consider the class of nicely-moded programs and queries. We show that for these programs a weak version of the well-known switching lemma holds also for inpu...

In a memorable story about his friend Alypius, Augustine presents a portrait of both the strong appeal of viewing violence and our ineffectual struggle to resist it. Alypius, who “had been carried away by an incredible passion for gladiatorial shows,” became deeply ashamed of his fascination with the gruesome contests and vowed never to return to the “games.” Then one evening some of Alypius’s ...