Logic Programming In Artificial Intelligence