nixsearch / pkg / gprolog

gprolog

GNU Prolog, a free Prolog compiler with constraint solving over finite domains

LGPL-3.0-or-later www.gnu.org gprolog 2 releases newest changed 15 days ago

version1.5.0 attributegprolog rev

aarch64-darwin 8d5d270900d3fc75655ea2d9d248b234f6631439 2026-09-27

aarch64-linux 8d5d270900d3fc75655ea2d9d248b234f6631439 2026-09-27

x86_64-darwin 3d46470bb3030020f7e1361f33514854f5bfa86d 2026-06-27

x86_64-linux 8d5d270900d3fc75655ea2d9d248b234f6631439 2026-09-27

systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux

$ devbox add gprolog@1.5.0

$ nix shell github:NixOS/nixpkgs/8d5d270900d3fc75655ea2d9d248b234f6631439#gprolog  # aarch64-darwin

$ nix shell github:NixOS/nixpkgs/8d5d270900d3fc75655ea2d9d248b234f6631439#gprolog  # aarch64-linux

$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#gprolog  # x86_64-darwin

$ nix shell github:NixOS/nixpkgs/8d5d270900d3fc75655ea2d9d248b234f6631439#gprolog  # x86_64-linux

JSON: /v2/resolve?name=gprolog&version=latest

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date	Outputs
1.5.0resolved	✓	✓	✓	✓	`gprolog`	varies	2026-09-13
1.4.5	–	–	✓	✓	`gprolog`	3e0ce8c5d4	2021-07-05

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.

Description

GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of this executable can be quite small since GNU Prolog can avoid to link the code of most unused built-in predicates. The performances of GNU Prolog are very encouraging (comparable to commercial systems). Beside the native-code compilation, GNU Prolog offers a classical interactive interpreter (top-level) with a debugger. The Prolog part conforms to the ISO standard for Prolog with many extensions very useful in practice (global variables, OS interface, sockets,...). GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens constraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming.