PROLOG : PROGRAMMING FOR ARTIFICIAL INTELLIGENCE - BRATKO, I. (ADDISON-WESLEY, 1990)
Keywords: ARTIFICIAL INTELLIGENCE : PROLOG