free reasoning with logic programming lecture notes in computer science 1111 published presentations and documents on DocSlides.
