leanEA. A poor man's evolving algebra compiler
Beckert, Bernhard
; Posegga, Joachim
; Posegga, JoachimAbstract:
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
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – 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.) |