The Ecce and Logen Partial Evaluators and their Web Interfaces


Leuschel, Michael, Elphick, Dan, Varea, Mauricio, Craig, Stephen-John and Fontaine, Marc (2006) The Ecce and Logen Partial Evaluators and their Web Interfaces At Partial Evaluation and Semantics-Based Program Manipulation, United States.

Download

[img] PDF ecce_logen_tool.pdf - Other
Download (244kB)

Description/Abstract

We present Ecce and Logen, two partial evaluators for Prolog using the online and offline approach respectively. We briefly present the foundations of these tools and discuss various applications. We also present new implementations of these tools, carried out in Ciao Prolog. In addition to a command-line interface new user-friendly web interfaces were developed. These enable non-expert users to specialise logic programs using a web browser, without the need for a local installation.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: January 2006
Venue - Dates: Partial Evaluation and Semantics-Based Program Manipulation, United States, 2006-01-01
Keywords: Partial evaluation, partial deduction, Prolog, program transformation, logic programming, web programming
Organisations: Electronics & Computer Science
ePrint ID: 262652
Date :
Date Event
2006Published
Date Deposited: 30 May 2006
Last Modified: 17 Apr 2017 21:39
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/262652

Actions (login required)

View Item View Item