CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Seminars @ CITI  \  Seminar Page Login  
banner bottom
File Top
Multi-threaded Prolog - Recent Developments
{ Wed, 15 Apr 2009, 14h00 }

By: Rui Marques

The extension of Prolog to support multi-threaded programming is a most important development, not only in view of the recent multi-core technology, but also as general means to express concurrency within the Prolog language. With an on-going proposal of an ISO standard, Multi-Threaded Prolog is achieving a mature status. However there are still many challenges to be met. The talk will present the historical development of multi-threaded Prolog and its current programming and implementation model. The support for multi-threading to extensions of Prolog, such as tabling, will be covered. The presenter has long experience with multi-threaded Prolog implementation and will give the XSB-Prolog system, to which he contributed, as a main example.

Hosted by: Computer Systems

Location: DI seminar room

File Bottom