TY - BOOK AU - Apt, Krzysztof R. AU - Bakker, J. W. de. AU - Rutten, J. J. M. M. TI - Logic programming languages: : constraints, functions, and objects U1 - 001.6424 PY - 1993/// CY - Cambridge, Mass. PB - Massachusetts Institute of Technology KW - Lenguajes de programación ER -