"Logal": Algorithmic Control Structures for Prolog.

D. C. Dodson, Alan L. Rector

Browse the full IJCAI paper archive.