solve (e_, v_)
Where: matches (?a = ?b) e_
Find:These test examples are the same as in file 'sml/systest/ FE-interface.sml'.
Within the present phase of development in the ISAC-project the following persons are working on the design of the system-architecture and on the implementation of the front-end:
Richard Gradischnegg (Softwaretechnologie FH Hagenberg)
Andreas Griesmayer (Softwaretechnologie IST, TU Graz)
Mario Hochreiter (Softwaretechnologie FH Hagenberg)
Alan Krempler (Softwaretechnologie IST, TU Graz)
Walther
Neuper (Softwaretechnologie IST, TU Graz)
(c) Richard Lang 2003