SICStus MT -- A Multithreaded Execution Environment for SICStus Prolog

We have designed and implemented a multithreaded execution environment for SICStus Prolog. The threads are dynamically managed using a small and compact set of Prolog primitives and they are implemented completely on user-level, requiring almost no support from the underlying operating system. The development of intelligent software agents has been one of the reasons why explicit concurrency has become a necessity in a modern Prolog system today. Such an application needs to perform several tasks which may be very different with respect to how they are implemented in Prolog. Performing these tasks simultaneously is very tedious without language support