The Gödel programming language /
Hill, Patricia,1942-
Lloyd, John,1947-
Cambridge, Mass. ; London : MIT Press,
c1994.
Includes bibliography and indexes.
Gödel (Computer program language)
Logic programming languages.