free foundations of logic programming symbolic computation published presentations and documents on DocSlides.