Title: Logic Programming and Knowledge Representation