Browse our site
About
People
Research Areas
Projects
Publications
Seminars
Future
Past
News
You are here:
Home
Seminars
Past
Multi-Threaded Tabled Logic Programing
CENTRIA seminar: Multi-Threaded Tabled Logic Programing
Main information
By:
Terrance Swift
(
CENTRIA
)
Date:
Wednesday, 3rd of December 2008, 14h00
Location:
FCT/UNL, Seminar Room (Ed. II)
Abstract
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.
Short-bio
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
