The Godel Programming Language - Hill, Patricia. (Logic Programming., 1994)