Programming in Turbo prolog : with an introduction to knowledge-based systems - Teft, Lee (Prentice-Hall, 1989)