Logic Programming in Action