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.- Godiva Project Home Page: apparently there is not an available implementation.