TY  - GEN
AU  - Clocksin,W.F.
AU  - Mellish, C.S.
TI  - Programming in prolog
U1  - 005.133 
PY  - 2009///
CY  - New York
PB  - Springer
KW  - Prolog (Computer program language); Artificial intelligence; Computer science; Logic design; Data structures (Computer science)
ER  -