Symbolic logic and prolog - Sing, Gurdev (New Delhi : Khanna Book Pub. Co., 2011)
Keywords: Artificial intelligence; Artificial intelligence reasoning -- Data processing; Logic symbolic and mathematical; Prolog (computer program language)