IDEAL
1. Ideal DEductive Applicative Language. A language by Pier
Bosco and Elio Giovannetti combining {Miranda} and {Prolog}.
Function definitions can have a {guard} condition (introduced
by ":-") which is a conjunction of equalities between
arbitrary terms, including functions. These guards are solved
by normal {Prolog} {resolution} and {unification}. It was
originally compiled into {C-Prolog} but was eventually to be
compiled to {K-leaf}.
2. A numerical {constraint} language written by Van Wyk of
{Stanford} in 1980 for {typesetting} graphics in documents.
It was inspired partly by {Metafont} and is distributed as
part of {Troff}.
["A High-Level Language for Specifying Pictures", C.J. Van
Wyk, ACM Trans Graphics 1(2):163-182 (Apr 1982)].
(1994-12-15)