Detail

Multi-threaded Prolog – Recent Developments

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.