Stav dette: Logic programming in action :