Home

The lang/gprolog port

gprolog-1.5.0p0 – Prolog compiler (cvsweb github mirror)

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.
WWW: http://www.gprolog.org/

Maintainer

The OpenBSD ports mailing-list

Only for arches

amd64 i386 sparc64

Broken

on i386: linking problems

Categories

lang

Files

Search