Adventure in Prolog

Getting started facts simple queries compound queries rules arithmetic managing data recursion data structure unification lists operators cut control structure natural language.