Logic programming is the art of using logic to describe knowledge in a more human-oriented way than is possible with traditional programming languages. This is achieved by describing a problem domain ...