Sure

["Towards a Broader Basis for Logic Programming", Bharat Jayaraman, TR CS Dept, SUNY Buffalo, 1990].