SICStus MT—A multithreaded execution environment for SICStus Prolog

  • Jesper Eskilson
  • Mats Carlsson
Conference paper

DOI: 10.1007/BFb0056606

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1490)
Cite this paper as:
Eskilson J., Carlsson M. (1998) SICStus MT—A multithreaded execution environment for SICStus Prolog. In: Palamidessi C., Glaser H., Meinke K. (eds) Principles of Declarative Programming. Lecture Notes in Computer Science, vol 1490. Springer, Berlin, Heidelberg

Abstract

The development of intelligent software agents and other complex applications which continuously interact with their environments has been one of the reasons why explicit concurrency has become a necessity in a modern Prolog system today. Such applications need 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.

This paper describes the design, implementation and evaluation of a prototype multithreaded execution environment for SICStus Prolog. The threads are dynamically managed using a small and compact set of Prolog primitives implemented in a portable way, requiring almost no support from the underlying operating system.

Keywords

logic programming implementation multithreading abstract machines 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1998

Authors and Affiliations

  • Jesper Eskilson
    • 1
  • Mats Carlsson
    • 1
  1. 1.Intelligent Systems LaboratorySwedish Institute of Computer ScienceKistaSweden

Personalised recommendations