Prova
For other uses, see
Prova (disambiguation)
.
Prova
is an
open source
programming language
that combines
Prolog
with
Java
.