TY - GEN T1 - Theory and practice of logic programming. LA - English PP - Cambridge, England PB - Cambridge University Press YR - 2001 UL - https://tuklas.up.edu.ph/Record/UP-1685675941131369527 NO - UP System perpetual contents: 2001-2021 KW - Constraint programming (Computer science) : Periodicals. KW - Logic programming : Periodicals. KW - Artificial intelligence : Computer programs : Periodicals. ER -