Prova

Prova is an open source programming language that combines Prolog with Java.

Description

Prova is a rule-based scripting system that is used for middleware. The language combines imperative and declarative programming by using a prolog syntax that allows calls to Java functions. In this way a strong Java code base is combined with Prolog features such as backtracking.

Prova is derived from Mandarax, a Java-based inference system developed by Jens Dietrich. Prova extends Mandarax by providing a proper language syntax, native syntax integration with Java, agent messaging and reaction rules. The development of this language was supported by the grant provided within the EU projects GeneStream and BioGRID. In the project, the language is used as a rule-based backbone for distributed web applications in biomedical data integration, in particular, the GoPubMed system.

The design goals of Prova:

Prova (album)

Prova is the debut album by popular Greek artist Katy Garbi. It was released in 1989 by CBS Records Greece. It was released on CD for the first time in 1992, under the Columbia label as a joint package with 1990's Gialia Karfia. It was re-released separately on CD in 1996.

Track listing

Music and Lyrics

All tracks of the album are arranged by Stefanos Korkolis.

Singles