TY - BOOK AU - I, Kononenko TI - Prolog through examples SN - 1850580723 AV - QA 76 .73.R6 1988 PY - 1988/// CY - England PB - Sigma KW - Prolong (computer program language) ER -