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

GNU Prolog

Known as: Gprolog 
GNU Prolog (also called gprolog) is a compiler developed by Daniel Diaz with an interactive debugging environment for Prolog available for Unix… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
In this paper we study the problem of deciding the existence of a subgraph epimorphism between two graphs. Our interest in this… Expand
  • figure 1
  • figure 2
2011
2011
Product line models are important artefacts in product line engineering. One of the most popular languages to model the… Expand
  • figure 1
  • table 1
  • figure 3
  • table 2
  • figure 4
2011
2011
Abstract GNU Prolog is a general-purpose implementation of the Prolog language, which distinguishes itself from most other… Expand
Review
2008
Review
2008
The emergence of the Service Oriented Architecture (SOA) is changing the way in which software applications are developed. A… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2002
2002
This paper addresses the problem of test vectors generation starting from an high level description of the system under test… Expand
  • table 1
  • table 2
  • table 3
2002
2002
Branching and lower bounds are two key notions in heuristic search and combinatorial optimization. Branching refers to the way… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 6
Highly Cited
2001
Highly Cited
2001
In this paper we describe the design and the implementation of the GNU Prolog system. This system draws on our previous… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Highly Cited
2001
Highly Cited
2001
In this paper we describe the design and the implementation of the GNU Prolog system. This system draws on our previous… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2000
2000
We describe in this paper the compilation scheme of the GNU Prolog system. This system is built on our previous experience of… Expand
  • table 1
  • table 2
  • table 3
Highly Cited
2000
Highly Cited
2000
We describe in this paper the GNU-Prolog system, a free system consisting of a Prolog compiler and a constraint solver on nite… Expand
  • table 1
  • table 2