Showing results for logic programming ai project.