Lee Teff Programming in turbo prolog with an introduction to knowledge beside systems - N York MGH 1989 - 369