Godiva (programming language)
From Wikipedia, the free encyclopedia
Godiva (GOal-DIrected jaVA) is an extension to the programming language supporting goal-directed evaluation of expressions.
Godiva (GOal-DIrected jaVA) is an extension to the programming language supporting goal-directed evaluation of expressions.