Skip to search formSkip to main content
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
Is this relevant?
2012
2012
GNU Prolog is a general-purpose implementation of the Prolog language, which distinguishes itself from most other systems by… Expand
  • figure 1
Is this relevant?
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
Is this relevant?
2003
2003
The current proposals for the inclusion of modules in the ISO Prolog standard are not very consensual. Since a program… Expand
  • table 1
  • figure 1
  • table 2
  • table 3
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?