"Logal": Algorithmic Control Structures for Prolog. - D. C. Dodson; Alan L. Rector (IJCAI, 1983)