Describir: Logic Programming with Prolog