Gprolog

[edit]

• Overview
• Details
• About this entry

GNU Prolog

http://www.gprolog.org/
Prolog compiler.

Gprolog is a Prolog compiler with constraint solving over finite domains. It accepts a Prolog+ constraint program and produces a native binary. The obtained executable is now stand-alone. This executable can be quite small since GNU Prolog doesn't need to link the code of most unused built-in predicates. Besides the native code compilation, GNU Prolog offers a classical interactive interpreter (top-level). It also conforms to the ISO standard for Prolog. The program also includes an efficient constraint solver over Finite Domains (FD). This opens constraint logic programming to the user, combining its power with the declarativity of logic programming.

This is a GNU package:gprolog

Download

https://ftp.gnu.org/gnu/gprolog/gprolog-1.5.0.tar.gz

version 1.5.0 (stable)
released on 8 July 2021

OpenPGP signature URL: https://ftp.gnu.org/gnu/gprolog/gprolog-1.5.0.tar.gz.sig

User level

Advanced

VCS Checkout

git clone https://github.com/didoudiaz/gprolog.git

Categories

• Programming-language:C
• Programming-language:C++
• Programming-language:perl
• Programming-language:shell
• Runs-on:GNU/Linux
• Runs-on:Windows
• Runs-on:BSD
• Runs-on:OS X
• Software-development:compiler
• Use:software-development

Licensing

License

Verified by

Verified on

Notes

License

GPLv2orlater

Verified by

Genium

Verified on

11 August 2021

Notes

https://github.com/didoudiaz/gprolog/blob/master/COPYING

License

LGPLv3orlater

Verified by

Genium

Verified on

11 August 2021

Notes

https://github.com/didoudiaz/gprolog/blob/master/COPYING

Leaders and contributors

Contact(s)	Role
Daniel Diaz	Maintainer

Resources and communication

Audience	Resource type	URI
Wikidata	General	https://www.wikidata.org/wiki/Q2351180
	Mailing List	https://lists.gnu.org/mailman/listinfo/users-prolog/
FTP	Download	https://ftpmirror.gnu.org/gprolog/
Savannah	Developer	https://savannah.gnu.org/projects/gprolog/
FTP	Download	https://ftp.gnu.org/gnu/gprolog/
Debian	Developer	https://tracker.debian.org/pkg/gprolog
SourceForge	VCS Repository Webview	https://sourceforge.net/p/gprolog/code/
SourceForge	Homepage	https://sourceforge.net/projects/gprolog/
FTP	Download	ftp://gprolog.univ-paris1.fr/pub/gprolog/
	Mailing List	https://lists.gnu.org/mailman/listinfo/bug-prolog/
GitHub	VCS Repository Webview	https://github.com/didoudiaz/gprolog.git

Software prerequisites

This entry (in part or in whole) was last reviewed on 11 August 2021.

Entry

"Savannah" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.

"GitHub" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.

"SourceForge" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.

"SourceForge" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.

"FTP" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.

"FTP" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.

"FTP" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.

"Debian" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.

"Wikidata" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.

Property "Submitted by" (as page type) with input value "{{{Submitted by}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process. "{{{Submitted date}}}" contains an extrinsic dash or other characters that are invalid for a date interpretation.