Browse our site
You are here:
Multi-Threaded Tabled Logic Programing
CENTRIA seminar: Multi-Threaded Tabled Logic Programing
Wednesday, 3rd of December 2008, 14h00
FCT/UNL, Seminar Room (Ed. II)
Tabling has proven to be an important addition to logic programming, and has provided a declarative way to solve problems in verification, natural language analysis, agent-based reasoning, and semantic web applications, among others. At the same time, newer multi-core computer architectures have sparked renewed research into features for multi-threading and parallelism for a number of languages including Prolog. This talk summarizes recent research, done jointly with Rui Marques and Jose Cunha of Universidade Nove de Lisboa, into multi-threaded tabled logic programming in the XSB system. Tables in XSB can be either private to a thread or shared among threads. XSB supports numerous functions for thread-private tables, including tabled negation over the well-founded semantics, call and answer subsumption, and tabled constraints. Most of these features can also be used by thread-shared tables. However, when sharing tables among threads, numerous concurrency issues arise, giving rise to new algorithms for concurrent and parallel tabling.
Terrance Swift has published numerous papers in logic programming semantics, implementations, and applications. Much of this research has grown out of development work in XSB Prolog, a leading open-source Prolog. He is a co-founder of XSB Inc, which uses XSB for deductive database and semantic web applications; and of MDlogix, a health informatics company. He has collaborated with CENTRIA members for over a decade, and has been an associate member of CENTRIA since 2007.
Among his current goals is to learn how to speak Portugese eventually.
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541