./lang/gprolog [Prolog compiler]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 1.4.5, Package name: gprolog-1.4.5
Maintained by: The OpenBSD ports mailing-list
Master sites:
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.

Filesize: 3503.282 KB
Version History (View Complete History)
  • (2018-11-13) Updated to version: gprolog-1.4.5
  • (2017-06-08) Updated to version: gprolog-1.4.4
  • (2011-08-06) Updated to version: gprolog-1.3.1
  • (2011-08-06) Package deleted from Ports
  • (2009-12-28) Updated to version: gprolog-1.3.1
  • (2006-07-21) Package added to openports.se, version gprolog-1.2.16p0 (created)
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2019-07-12 14:47:59 by Stuart Henderson | Files touched by this commit (874)
Log message:
replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes
   2018-12-02 04:42:25 by Stuart Henderson | Files touched by this commit (1)
Log message:
mark BROKEN-i386
   2018-11-23 02:23:14 by Jeremie Courreges-Anglas | Files touched by this commit (1)
Log message:
Accept text relocations on i386, needed by ld.lld
Reported and fix suggested by naddy@
   2018-11-23 02:17:37 by Jeremie Courreges-Anglas | Files touched by this commit (2)
Log message:
Add support for sparc64
I tried to relax the checks in try_sigaction.c so that it works on any
arch, but maybe that test should be dropped completely instead.  The
runtime doesn't need a precise fault address, the latter is only used
for reporting.
   2018-11-23 02:13:40 by Jeremie Courreges-Anglas | Files touched by this commit (2)
Log message:
Disabling PIE is not needed on i386, amd64 and sparc64
i386 test by naddy@
   2018-11-23 02:11:15 by Jeremie Courreges-Anglas | Files touched by this commit (3)
Log message:
Use system malloc(3), not Doug Lea malloc (backed by sbrk(2) by default)
   2018-11-16 15:19:45 by Jeremie Courreges-Anglas | Files touched by this commit (2)
Log message:
No need for textproc/gdiff, our diff(1) supports --ignore-space-change and -I
   2018-11-12 12:15:40 by Daniel Dickman | Files touched by this commit (6)
Log message:
Update to gprolog 1.4.5, modify dlmalloc to avoid use of sbrk, and
drop maintainer as we haven't heard from in some time.
ok jca@
   2018-08-19 17:45:00 by Daniel Dickman | Files touched by this commit (2)
Log message:
Let gprolog build on macppc.
Maintainer timeout
   2017-08-22 04:27:33 by Marc Espie | Files touched by this commit (4)
Log message:
rework COMPILER yet again. new version should be easier to grasp
   2017-07-26 15:28:51 by Marc Espie | Files touched by this commit (1)
Log message:
gprolog requires gcc to build
   2017-06-08 09:25:57 by Marc Espie | Files touched by this commit (12)
Log message:
update to 1.4.4, fix configure so that various patches are no longer needed
maintainer timeout
   2010-11-17 01:05:18 by Marc Espie | Files touched by this commit (317)
Log message:
new depends
   2010-10-15 04:23:57 by David Coppa | Files touched by this commit (1)
Log message:
Rip out the gcc4 module now that src has gcc4
From Brad
   2009-12-27 12:30:21 by Jasper Lievisse Adriaanse | Files touched by this commit (11)
Log message:
- update gprolog to 1.3.1
- unbreak it
- enable it on amd64
from daniel dickman and nuno morgadinho (MAINTAINER)
with a tweak by me to honor cflags.
   2007-09-15 18:27:06 by Michael Erdely | Files touched by this commit (52)
Log message:
Remove surrounding quotes in COMMENT*/PERMIT_*/BROKEN
   2007-04-05 10:20:19 by Marc Espie | Files touched by this commit (912)
Log message:
base64 checksums.
   2006-02-16 13:56:58 by Christian Weisgerber | Files touched by this commit (2)
Log message:
Admit that it's BROKEN due to randomized mmap().
   2005-07-01 23:46:25 by Nikolay Sturm | Files touched by this commit (1)
Log message:
not for sparc64 -> only for i386
bump PKGNAME
from maintainer Nuno Morgadinho <nmorgadinho at openbsd-pt.org>
   2005-03-25 08:13:59 by Aleksander Piotrowski | Files touched by this commit (5)
Log message:
Oh my^W^WMore no longer needed WWW:... lines
   2005-03-14 18:57:06 by David Berghoff | Files touched by this commit (100)
Log message:
typo and wording fixes; approved by pval
ok mbalmer@ "that diff was fun to read"
   2005-01-05 09:58:59 by Christian Weisgerber | Files touched by this commit (132)
Log message:
SIZE
   2004-11-21 23:24:25 by Peter Valchev | Files touched by this commit (1)
Log message:
recognise powerpc
   2004-10-07 12:30:26 by Nikolay Sturm | Files touched by this commit (1)
Log message:
not for sparc64, maintainer timeout
   2004-09-26 09:32:27 by Marc Espie | Files touched by this commit (1)
Log message:
fix links
   2004-09-26 09:21:13 by Marc Espie | Files touched by this commit (2)
Log message:
move everything into its own separate subdirectory.