Godiva

An acronym for GOal-DIrected jaVA, a programming language which extends Java whith additional built-in data types, higher level (collection-oriented) operators, goal-directed expression evaluation (as in Icon), and pattern-matching on strings.