"Delta Prolog: A Distributed Backtracking Extension with Events."

Luís Moniz Pereira et al. (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics