Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary (also found in English - Vietnamese, English - English (Wordnet), )
Jump to user comments
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.