Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling

Annalisa Bossi, Sandro Etalle, Sabina Rossi +1

In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed to a fixed…