Text this: Logic programming. Prolog and ist applications :