<acronym>

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)].

(01 Mar 1994)

IDE, -ide, -ide, IDEA, idea < Prev | Next > ideal, ideal, ideal alveolar gas

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums

<theory> In domain theory, a non-empty, downward closed subset which is also closed under binary least upper bounds. I.e. anything less than an element is also an element and the least upper bound of any two elements is also an element.

(01 Mar 1997)

-ide, -ide, IDEA, idea, IDEAL < Prev | Next > ideal, ideal alveolar gas, idealist

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums

1. Existing in idea or thought; conceptional; intellectual; mental; as, ideal knowledge.

2. Reaching an imaginary standard of excellence; fit for a model; faultless; as, ideal beauty. "There will always be a wide interval between practical and ideal excellence." (Rambler)

3. Existing in fancy or imagination only; visionary; unreal. "Planning ideal common wealth."

4. Teaching the doctrine of idealism; as, the ideal theory or philosophy.

5. <mathematics> Imaginary.

Synonyms: Intellectual, mental, visionary, fanciful, imaginary, unreal, impracticable, utopian.

Origin: L. Idealis: cf. F. Ideal.

(01 Mar 1998)

-ide, IDEA, idea, IDEAL, ideal < Prev | Next > ideal alveolar gas, idealist, ideality

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums