TY - GEN AU - Kaushik, Saroj TI - Logic and prolog programming SN - 8122414095 U1 - 005.133 PY - 2003/// CY - New Delhi PB - New Age International KW - Prolog (computer program language) ER -