Skip to main content

SEPIA 3.0 — An extensible prolog system

  • Conference paper
  • First Online:
Processing Declarative Knowledge (PDK 1991)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 567))

Included in the following conference series:

Abstract

European Computer-Industry Research Centre, one of the leading institutes in the area of logic programming, announces the release of the SEPIA Prolog system version 3.0. SEPIA, which stands for Standard ECRC Prolog Integrating Advanced Features, is a sophisticated Prolog system that has been developed at ECRC with the aim of studying efficient Prolog implementation, integration of new features into Prolog and providing a solid basis for Prolog extensions. Below we list a number of main SEPIA features.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Author information

Authors and Affiliations

Authors

Editor information

Harold Boley Michael M. Richter

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Meier, M., Schimpf, J. (1991). SEPIA 3.0 — An extensible prolog system. In: Boley, H., Richter, M.M. (eds) Processing Declarative Knowledge. PDK 1991. Lecture Notes in Computer Science, vol 567. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013554

Download citation

  • DOI: https://doi.org/10.1007/BFb0013554

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55033-4

  • Online ISBN: 978-3-540-46667-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics