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

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 1.4.4, Package name: gprolog-1.4.4
Maintained by: Nuno Morgadinho
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: 3455.227 KB
Version History (View Complete History)
  • (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:

   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
   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
   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
   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
   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
   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
   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
   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
   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
   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
   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
   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.
   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.
   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.
   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.
   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.
   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.
   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.
   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.
   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.
   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.
   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.


   2004-09-26 09:21:13 by Marc Espie | Files touched by this commit (2)
Log message:
move everything into its own separate subdirectory.