Logic and prolog programming /

Kaushik, Saroj.

Logic and prolog programming / By Saroj Kaushik. - 1st ed. - New Delhi: New Age International Pvt Ltd , 2002. - xv,319p. ; PB 24.5 cm

8122414095


First order predicate logic
Advanced features in prolog
Definite clause grammar and applications

006.3 / KAUS