John W. Lloyd Rodney W. Topor Making Prolog more Expressive. 225-240 1984 1 J. Log. Program. 3 db/journals/jlp/jlp1.html#LloydT84