The Prolog language; An overview of Prolog; Syntax and meaning of Prolog programs; Lists, operators, arithmetic; Using structures: example programs; Controlling backtracking; Input and output; More built-in procedures; Programming style and technique; Prolog in artificial intell…