Detail

Multi-threading programming in Logtalk

Logtalk, an object oriented logic programming language, provides
experimental support for multi-threading programming with selected
back-end Prolog compilers. By making use of low-level Prolog
predicates that interface with operating-system native threads,
Logtalk provides a high-level set of directives and predicates that
allows programmers to easily take advantage of modern multi-processor
and multi-core computers without worrying about the details of
creating, synchronizing, or communicating with threads. Logtalk multi-
threading programming includes support for non-deterministic thread
goals, competing threads, and predicate synchronization. The
integration with the Logtalk object-oriented features allows the
optional creation of per-object threads, enabling objects to send and
receive both synchronous and asynchronous messages and to call local
predicates concurrently.