TY - BOOK AU - Apt K R Ed. AU - Bakker J W De Ed. AU - Rutten J J M M Ed. TI - Logical programming languages: constraints, functions and objects U1 - D65,8(B)92Pr, N3 PY - 1993/// CY - Cambridge PB - MIT Press KW - Pascal KW - Computer science ER -