The Gödel Programming Language. Logic Programming Series (1994)

by P M Hill, J W Lloyd
Venue:The Journal of Functional and Logic Programming 1999-3 Programming in etc. (Ref