00538nam 2200792 4500001000400000003002300004005000900027008004100036082001300077072003100090020001800121100001900139260003700158250000600195245005500201650003100256650002500287650003400312792StarLibrary Marc Built20180430201711 ||||| |||||||||||amh  a005.1318 aprogramming with relations a0-13-536047-1 aMichael sprvey bC.A.R Hoare SERIES EDITOR c1996 a2 aAn Introduction to logrc proramming thraugh prolog aprogramming with relations arecursive structures athe meaning of logic programs