Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Prova

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

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… Expand
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… Expand
  • figure 1
Highly Cited
2009
Highly Cited
2009
Al-Li alloys are characterized by a strong anisotropy in mechanical and microstructural properties with respect to the rolling… Expand
  • figure 1
  • figure 2
  • figure 3
  • table II
  • figure 4
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… Expand
2007
2007
The physico-chemical characteristics of protein fining agents are important for optimizing the fining treatment which affects… Expand
2005
2005
This paper presents the open source reference implementation of RuleML based on modular XML Schema definitions and bidirectional… Expand
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… Expand
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… Expand
  • table 1
  • figure 1
  • table 2
  • table 3
  • figure 2
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… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
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… Expand