TY - BOOK AU - Covington,Michael A. AU - Nute,Donald AU - Vellino,Andre TI - Prolog programming in depth SN - 013138645X (pbk) : U1 - 005.133 PY - 1997/// CY - Upper Saddle River, N.J. PB - Prentice-Hall KW - Prolog (Computer program language) N1 - Includes bibliographical references and index ER -