A Reconstruction of the Lloyd-Topor Transformation using Partial Evaluation
A Reconstruction of the Lloyd-Topor Transformation using Partial Evaluation
The Lloyd-Topor transformation is a classical transformation that translates extended logic programs with logical connectives and explicit quantifiers into normal logic programs. In this paper we show that this translation can be achieved in a natural way by specialising a meta-interpreter for extended logic programs. For this we use the Logen partial evaluation system, extended to handle coroutining.
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Craig, Stephen-John
70e3474a-2043-482f-9e1c-27f68e9aba16
Hill, Pat
0bf9f4f2-5637-48e4-9590-a7c923a92862
2005
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Craig, Stephen-John
70e3474a-2043-482f-9e1c-27f68e9aba16
Hill, Pat
0bf9f4f2-5637-48e4-9590-a7c923a92862
Leuschel, Michael and Craig, Stephen-John
(2005)
A Reconstruction of the Lloyd-Topor Transformation using Partial Evaluation.
Hill, Pat
(ed.)
Pre-Proceedings of LOPSTR'05, Imperial College, London, United Kingdom.
Record type:
Conference or Workshop Item
(Paper)
Abstract
The Lloyd-Topor transformation is a classical transformation that translates extended logic programs with logical connectives and explicit quantifiers into normal logic programs. In this paper we show that this translation can be achieved in a natural way by specialising a meta-interpreter for extended logic programs. For this we use the Logen partial evaluation system, extended to handle coroutining.
Text
prelopstr_lloyd_topor.pdf
- Other
More information
Published date: 2005
Additional Information:
Event Dates: September 2005
Venue - Dates:
Pre-Proceedings of LOPSTR'05, Imperial College, London, United Kingdom, 2005-09-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 261198
URI: http://eprints.soton.ac.uk/id/eprint/261198
PURE UUID: 330339e7-028a-4ba6-a54f-932c2cec9d3a
Catalogue record
Date deposited: 07 Sep 2005
Last modified: 14 Mar 2024 06:49
Export record
Contributors
Author:
Michael Leuschel
Author:
Stephen-John Craig
Editor:
Pat Hill
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics