PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract).

Gerhard Wetzel, Robert A. Kowalski, Francesca Toni

Browse the full ICLP paper archive.