Logic programming. Prolog and ist applications : Handbook and video - Kowalski; Kriwaczek, Frank (Addison-Wesley, 1996)