Prova
Prova is een open-source programmeertaal. De naamgeving van deze taal komt voort uit het feit dat de syntax ervan een mengeling is van die van Prolog en Java. Prova werd immers ontwikkeld met als doel de voordelen van logische programmeertalen en imperatieve programmeertalen te combineren. Concreet is Prova regelgebaseerd net als Prolog, maar ondersteunt de taal ook functies van de Java bibliotheken.
Prova is ontstaan uit Mandarax, een Java klasse bibliotheek voor deductie regels. Prova werd ontwikkeld door onder andere Alex Kozlenkov en Michael Schroeder.