- published: 22 Jun 2016
- views: 30601
Prova is an open source programming language that combines Prolog with Java.
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 aims to provide support for data integration tasks when the following is important:
Prova has been used as the key service integration engine in the Xcalia product where it is used for computing efficient global execution plans across multiple data sources such as Web services, TP monitors transactions like CICS or IMS, messages of MOM like MQ-Series, packaged applications with a JCA connector, legacy data sources on mainframes with a JCA connector, remote EJB Java objects considered as data providers or even local Java objects. Prova allows to deliver an innovative software platform for Service-oriented architecture implementations.
There’s something coming
And its coming for you
The mob is restless
Looking for something new
You lead us here
With an eternal promise
The gallows are calling
For you to pay for this
Now that we’re left here on our own
There is nowhere left to turn
Who will see me through?
Your heroes are dead
They were all in you head
When nothing is left we’ll start again
What fitting ends
To our fearless fathers
The cost of treason
Isn't paid in dollars
With nothing left
There is nothing to lose
We’ll watch the city gates
Falling all around you
You said id never make it
That I could only fail
But I'm the one who’s standing
And what has happened to you?
Now that we’ve said goodbye to you
We’ve started something new
Your heroes are gone
They left with the dawn