Researchers have recognized the potential for exploitation of parallelism from logic programs since the inception of the field (e.g., R. Kowalski, "Logic for Problem Solving", Chpt. 3, North-Holland, 1979). After more than 25 years of research, many lessons have been learned, but the dream of an automatic parallel logic programming system still escapes us. In this presentation, I will provide a critical overview of the main issues in the exploitation of parallelism from logic programs, and discuss some of the most popular solutions. I will also attempt to identify the main directions of future development. (slides from the talk)
Enrico received his Ph.D. in Computer Science in 1997. He is currently a Professor of Computer Science at New Mexico State University, where he also directs the Knowledge representation, Logic, and Advanced Programming laboratory and serves as Associate Director of the CREST Center of Research Excellence in Computational Biology. His main research interests are in logic and constraint programming, high performance computing, bioinformatics, and assistive technologies. Enrico has published over 135 refereed publications in international journals and conferences. He is the editor of the newsletter of the Association for Logic Programming, and he belongs to the editorial board of the ACM Transactions on Computers and Accessibility, the Executive Committee of the Association for Logic Programming, and the Steering Committee of the ACM ASSETS conference series.
Sergio Antoy