SEPIA 3.0 — An extensible prolog system

Meier, Micha; Schimpf, Joachim

doi:10.1007/bfb0013554

Cited by 4 publications

(4 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The opposite is Cygwin [13], that emulates the POSIX API on Windows platforms. To the best of our knowledge, SEPIA was the first system to use this approach, in this case to emulate other Prolog systems [14].…”

Section: Portability Approaches and Related Workmentioning

confidence: 99%

On the Portability of Prolog Applications

Wielemaker¹,

Costa

2011

Practical Aspects of Declarative Languages

View full text Add to dashboard Cite

Abstract. The non-portability of Prolog programs is widely considered one of the main problems facing Prolog programmers. Although since 1995, the core of the language is covered by the ISO standard 13211-1, this standard has not been sufficient to support large Prolog applications. As an approach to address this problem, since 2007, YAP and SWIProlog have established a basic compatibility framework. The aim of the framework is running the same code on Edinburgh-based Prolog systems rather than having to migrate an application. This article describes the implementation and evaluates this framework by studying how it can be used on a number of libraries and an important application.

show abstract

Section: Portability Approaches and Related Workmentioning

confidence: 99%

On the Portability of Prolog Applications

Wielemaker¹,

Costa

2011

Practical Aspects of Declarative Languages

View full text Add to dashboard Cite

show abstract

“…In the SEPIA [7] design we have tried to learn from the problems and to do everything better (the" second system syndrome"). Since we felt that the main problems of the previous implementation were slow compilation, non-incrementality and bad performance, the main changes were made there.…”

Section: Sepiamentioning

confidence: 99%

Better Late Than Never

Meier¹

1994

Implementations of Logic Programming Systems

Self Cite

View full text Add to dashboard Cite

Some Prolog systems are able to delay the execution of Prolog goals and resume it later. We were involved in the design, implementation and evaluation of several such systems and we summarise here our experiences with them. First we describe a general structure of such 'coroutining' systems and then we concentrate on the particular features of and choices made in three ECRC's logic programming systems: ECRC-Prolog, SEPIA and ECL'PS e .

show abstract

“…These predecessor systems were • ECRC-Prolog, a system that focused on efficient implementation of data-driven execution mechanisms; • Sepia, a followup system with an emphasis on flexibility, extensibility, and scalability (Meier et al 1989); • CHIP, the first CLP system with a finite-domain solver (Dincbas et al 1988); • Megalog, which emphasised persistence and database functionality (Bocca 1991); and • Elipsys, an Or-parallel implementation of Prolog (Dorochevsky et al 1992).…”

Section: Introductionmentioning

confidence: 99%

“…• ECRC-Prolog, a system that focused on efficient implementation of data-driven execution mechanisms; • Sepia, a followup system with an emphasis on flexibility, extensibility, and scalability (Meier et al 1989); • CHIP, the first CLP system with a finite-domain solver (Dincbas et al 1988);…”

Section: Introductionmentioning

confidence: 99%

ECLⁱPS^e – From LP to CLP

Schimpf¹,

Shen²

2011

Theory and Practice of Logic Programming

Self Cite

View full text Add to dashboard Cite

ECL i PS e is a Prolog-based programming system, aimed at the development and deployment of constraint programming applications. It is also used for teaching most aspects of combinatorial problem solving, for example, problem modelling, constraint programming, mathematical programming and search techniques. It uses an extended Prolog as its high-level modelling and control language, complemented by several constraint solver libraries, interfaces to thirdparty solvers, an integrated development environment and interfaces for embedding into host environments. This paper discusses language extensions, implementation aspects, components, and tools that we consider relevant on the way from Logic Programming to Constraint Logic Programming.

show abstract

SEPIA 3.0 — An extensible prolog system

Cited by 4 publications

References 0 publications

On the Portability of Prolog Applications

On the Portability of Prolog Applications

Better Late Than Never

ECLⁱPS^e – From LP to CLP

Contact Info

Product

Resources

About

SEPIA 3.0 — An extensible prolog system

Cited by 4 publications

References 0 publications

On the Portability of Prolog Applications

On the Portability of Prolog Applications

Better Late Than Never

ECLiPSe – From LP to CLP

Contact Info

Product

Resources

About

ECLⁱPS^e – From LP to CLP