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)

Related topics

Related topics

17 relations
Declarative programmingGoPubMedHTMLImperative programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
MICHEL ROCHEFORT E O INSTITUTO BRASILEIRO DE GEOGRAFIA E ESTATÍSTICA NA DÉCADA DE 1960
French geographer, Michael Rochefort (1927-2015), built his career as an important name in the planning of his country. Part of… 
2013
2013
Prevalência da doenca pulmonar obstrutiva crónica em Lisboa, Portugal: estudo Burden of Obstructive Lung Disease
Highly Cited
2010
Highly Cited
2010
RuleML 1.0: The Overarching Specification of Web Rules
RuleML is a family of languages, whose modular system of XML schemas permits high-precision Web rule interchange. The family's… 
Highly Cited
2009
Highly Cited
2009
Effect of anisotropy on Fatigue properties of AA2198 Al-Li plates joined by Friction Stir Welding
Highly Cited
2008
Highly Cited
2008
The edge of evolution: the search for the limits of darwinism
When Michael J. Behe's first book, "Darwin's Black Box, " was published in 1996, it launched the intelligent design movement… 
2007
2007
Protein fining agents : Characterization and red wine fining assays
The physico-chemical characteristics of protein fining agents are important for optimizing the fining treatment which affects… 
Highly Cited
2003
Highly Cited
2003
Motivação do aprendiz de medicina: uso da escala de motivação acadêmica
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
Meat quality of three chicken genotypes reared according to the organic system
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
On an Intuitionistic Modal Logic
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
Demanda infantil por servios de sade mental: sinal de crise
This study is a result of the reflection on the historical meaning of the high juvenile claim on mental health care in public… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)