Skip to search formSkip to main contentSkip to account menu

Prova

Prova is an open source programming language that combines Prolog with Java.
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
French geographer, Michael Rochefort (1927-2015), built his career as an important name in the planning of his country. Part of… 
Highly Cited
2010
Highly Cited
2010
RuleML is a family of languages, whose modular system of XML schemas permits high-precision Web rule interchange. The family's… 
Highly Cited
2008
Highly Cited
2008
When Michael J. Behe's first book, "Darwin's Black Box, " was published in 1996, it launched the intelligent design movement… 
2007
2007
The physico-chemical characteristics of protein fining agents are important for optimizing the fining treatment which affects… 
Highly Cited
2003
Highly Cited
2003
251 O autor registra o apoio institucional, agradece a participacao ativa e o interesse real dos aprendizes envolvidos e expressa… 
Highly Cited
2002
Highly Cited
2002
The meat quality of three poultry genotypes with differing growth rates (fast-growing Ross; medium and slow growing Kabir and… 
Highly Cited
2000
Highly Cited
2000
In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that… 
1998
1998
This study is a result of the reflection on the historical meaning of the high juvenile claim on mental health care in public…