10.4230/LIPICS.ICLP.2010.144
Near, Joseph P.
Joseph P.
Near
From Relational Specifications to Logic Programs
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2010
logic programming
specification languages
executable specifications
Hermenegildo, Manuel
Manuel
Hermenegildo
Schaub, Torsten
Torsten
Schaub
2010
2010-06-25
2010-06-25
2010-06-25
en
urn:nbn:de:0030-drops-25924
10.4230/LIPIcs.ICLP.2010
978-3-939897-17-0
1868-8969
10.4230/LIPIcs.ICLP.2010
LIPIcs, Volume 7, ICLP 2010
Technical Communications of the 26th International Conference on Logic Programming
2013
7
18
144
153
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Hermenegildo, Manuel
Manuel
Hermenegildo
Schaub, Torsten
Torsten
Schaub
1868-8969
Leibniz International Proceedings in Informatics (LIPIcs)
2010
7
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
10 pages
295051 bytes
application/pdf
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
info:eu-repo/semantics/openAccess
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to Prolog. Imperative Alloy is a declarative, relational specification language based on first-order logic and extended with imperative constructs; Alloy specifications are traditionally not executable. In spite of this theoretical limitation, the compiler produces useful prototype implementations for many specifications.
LIPIcs, Vol. 7, Technical Communications of the 26th International Conference on Logic Programming, pages 144-153