KIT | KIT-Bibliothek | Impressum | Datenschutz

leanEA. A poor man's evolving algebra compiler

Beckert, Bernhard; Posegga, Joachim

Abstract:

The Prolog program

term_expansion((define C as A with B), (C=>A:-B,!)).
term_expansion((transition E if C then D),
((transition E):-C,!,B,A,(transition _))) :-
serialize(D,B,A).
serialize((E,F),(C,D),(A,B)) :- serialize(E,C,B), serialize(F,D,A).
serialize(F:=G, ([G]=>*[E],F=..[C

Open Access Logo


Volltext §
DOI: 10.5445/IR/35095
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Publikationsjahr 1995
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA350959
KITopen-ID: 35095
Erscheinungsvermerk Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,25.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page