TY - GEN AU - Clocksin, W.F. TI - Programming in Prolog SN - 978-81-8128-250-7 U1 - 005.133 PY - 2011/// CY - London PB - Springer ER -