The FreeBSD Ports Archive
FreeBSD lang  : gprolog
A free Prolog compiler
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 contraint logic pogramming to the user combining the power
of constraint programming to the declarativity of logic programming.
http://gnu-prolog.inria.fr/
|
gprolog history
v. 1.22
date: 2007/09/30 04:46:59; author: linimon; state: Exp; lines: +2 -2
Switch autoconf dependencies from 2.53 or 2.59 to 2.61.
PR: ports/116639
Submitted by: aDe
v. 1.21
date: 2006/08/29 07:39:34; author: vs; state: Exp; lines: +5 -1
Fix permissions and use PORTDOCS
PR: ports/100962
Submitted by: Stanislav Sedov
v. 1.20
date: 2006/03/16 09:43:10; author: vs; state: Exp; lines: +3 -6
Somehow GCC 3.x generates a gprolog binary which fails immediately on startup.
Fall back to GCC 2.95 and bump PORTREVISION accordingly.
This update also brings back the FD-solver!
Maybe somebody should check what other distros do about this, but e.g. blindly
applying the Debian patch set doesn't fix this error.
Reminded by: Fernando López
v. 1.19
date: 2006/01/10 09:51:23; author: vs; state: Exp; lines: +6 -2
Unbreak: Build w/o FD-solver on 6.x+
Currently I do not have the resources to find out why it's breaking
v. 1.18
date: 2005/11/21 01:32:18; author: kris; state: Exp; lines: +4 -0
BROKEN on 6.0: Does not build
v. 1.17
date: 2005/11/15 06:49:54; author: ade; state: Exp; lines: +1 -1
Mass-conversion to the USE_AUTOTOOLS New World Order. The code present
in bsd.autotools.mk essentially makes this a no-op given that all the
old variables set a USE_AUTOTOOLS_COMPAT variable, which is parsed in
exactly the same way as USE_AUTOTOOLS itself.
Moreover, USE_AUTOTOOLS has already been extensively tested by the GNOME
team -- all GNOME 2.12.x ports use it.
Preliminary documentation can be found at:
http://people.FreeBSD.org/~ade/autotools.txt
which is in the process of being SGMLized before introduction into the
Porters Handbook.
Light blue touch-paper. Run.
v. 1.16
date: 2005/04/12 03:25:50; author: obrien; state: Exp; lines: +1 -1
At Kris's request, back out the MACHINE_ARCH spelling correction until
after 5.4-RELEASE.
v. 1.15
date: 2005/04/11 08:02:57; author: obrien; state: Exp; lines: +1 -1
Assist getting more ports working on AMD64 by obeying the
Ports Collection documentation and use 'ARCH' rather than 'MACHINE_ARCH'.
v. 1.14
date: 2005/03/15 14:42:32; author: vs; state: Exp; lines: +1 -1
Unbreak on 5.x by disabling fast-calls. Notice that you will still see
build errors if you have -march=pentium4 in your CFLAGS
PR: ports/78794
Submitted by: Arne Wörner
v. 1.13
date: 2005/02/17 15:58:21; author: vs; state: Exp; lines: +23 -6
- Update to CVS snapshot 1.2.18 (tarball from Debian)
- Use PORTDOCS/EXAMPLESDIR
- We still use the pre-built docs from 1.2.16
v. 1.12
date: 2004/09/18 17:32:36; author: kris; state: Exp; lines: +7 -1
BROKEN on 5.x: Does not compile
Approved by: portmgr (self)
v. 1.11
date: 2004/03/10 13:16:50; author: vs; state: Exp; lines: +1 -1
- Update MAINTAINER-line of my ports to new @FreeBSD.org address
- Nuke 2x USE_SIZE while here
Approved by: linimon (mentor)
v. 1.10
date: 2004/02/04 05:21:38; author: marcus; state: Exp; lines: +1 -1
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.
(Part 2)
v. 1.9
date: 2003/12/17 12:02:13; author: krion; state: Exp; lines: +3 -2
- Enable line-edit (works fine on -STABLE & -CURRENT)
- Bump PORTREVISION
- Grab maintainership
PR: 60323
Submitted by: Volker Stolz
v. 1.8
date: 2003/10/05 09:16:54; author: erwin; state: Exp; lines: +2 -0
Per bento logs, this port won't configure except on i386.
Mark it as ignore to warn the unwary. (There's probably
little reason to mark it as broken since it has no
maintainer. Any volunteers?)
PR: 57594
Submitted by: Mark Linimon
v. 1.7
date: 2003/06/22 22:09:39; author: erwin; state: Exp; lines: +12 -13
- Fix build
- Support CFLAGS properly
- Fix COMMENT format
PR: 53390
Submitted by: KATO Tsuguru
v. 1.6
date: 2003/05/18 12:42:48; author: kris; state: Exp; lines: +1 -1
Reset bouncing maintainer address
v. 1.5
date: 2003/05/18 12:25:06; author: kris; state: Exp; lines: +2 -0
BROKEN: Does not build
v. 1.4
date: 2003/02/21 12:35:03; author: knu; state: Exp; lines: +1 -0
De-pkg-comment.
v. 1.3
date: 2002/11/23 08:20:10; author: nork; state: Exp; lines: +2 -0
Fix problems with two files not correctly upgraded during
upgrade from 1.2.1 to 1.2.16.
PR: ports/45615
Submitted by: Douglas Anestad (maintainer)
v. 1.2
date: 2002/11/23 00:43:32; author: edwin; state: Exp; lines: +6 -2
Maintainer update to version 1.2.16
PR: ports/45381
Submitted by: Douglas Anestad
v. 1.1
date: 2001/07/08 07:57:39; author: ijliao; state: Exp;
add gprolog
A free Prolog compiler developed by Daniel Diaz
PR: 28651
Submitted by: Douglas Anestad
=============================================================================
v. 1.22
date: 2007/09/30 04:46:59; author: linimon; state: Exp; lines: +2 -2
Switch autoconf dependencies from 2.53 or 2.59 to 2.61.
PR: ports/116639
Submitted by: aDe
v. 1.21
date: 2006/08/29 07:39:34; author: vs; state: Exp; lines: +5 -1
Fix permissions and use PORTDOCS
PR: ports/100962
Submitted by: Stanislav Sedov
v. 1.20
date: 2006/03/16 09:43:10; author: vs; state: Exp; lines: +3 -6
Somehow GCC 3.x generates a gprolog binary which fails immediately on startup.
Fall back to GCC 2.95 and bump PORTREVISION accordingly.
This update also brings back the FD-solver!
Maybe somebody should check what other distros do about this, but e.g. blindly
applying the Debian patch set doesn't fix this error.
Reminded by: Fernando López
v. 1.19
date: 2006/01/10 09:51:23; author: vs; state: Exp; lines: +6 -2
Unbreak: Build w/o FD-solver on 6.x+
Currently I do not have the resources to find out why it's breaking
v. 1.18
date: 2005/11/21 01:32:18; author: kris; state: Exp; lines: +4 -0
BROKEN on 6.0: Does not build
v. 1.17
date: 2005/11/15 06:49:54; author: ade; state: Exp; lines: +1 -1
Mass-conversion to the USE_AUTOTOOLS New World Order. The code present
in bsd.autotools.mk essentially makes this a no-op given that all the
old variables set a USE_AUTOTOOLS_COMPAT variable, which is parsed in
exactly the same way as USE_AUTOTOOLS itself.
Moreover, USE_AUTOTOOLS has already been extensively tested by the GNOME
team -- all GNOME 2.12.x ports use it.
Preliminary documentation can be found at:
http://people.FreeBSD.org/~ade/autotools.txt
which is in the process of being SGMLized before introduction into the
Porters Handbook.
Light blue touch-paper. Run.
v. 1.16
date: 2005/04/12 03:25:50; author: obrien; state: Exp; lines: +1 -1
At Kris's request, back out the MACHINE_ARCH spelling correction until
after 5.4-RELEASE.
v. 1.15
date: 2005/04/11 08:02:57; author: obrien; state: Exp; lines: +1 -1
Assist getting more ports working on AMD64 by obeying the
Ports Collection documentation and use 'ARCH' rather than 'MACHINE_ARCH'.
v. 1.14
date: 2005/03/15 14:42:32; author: vs; state: Exp; lines: +1 -1
Unbreak on 5.x by disabling fast-calls. Notice that you will still see
build errors if you have -march=pentium4 in your CFLAGS
PR: ports/78794
Submitted by: Arne Wörner
v. 1.13
date: 2005/02/17 15:58:21; author: vs; state: Exp; lines: +23 -6
- Update to CVS snapshot 1.2.18 (tarball from Debian)
- Use PORTDOCS/EXAMPLESDIR
- We still use the pre-built docs from 1.2.16
v. 1.12
date: 2004/09/18 17:32:36; author: kris; state: Exp; lines: +7 -1
BROKEN on 5.x: Does not compile
Approved by: portmgr (self)
v. 1.11
date: 2004/03/10 13:16:50; author: vs; state: Exp; lines: +1 -1
- Update MAINTAINER-line of my ports to new @FreeBSD.org address
- Nuke 2x USE_SIZE while here
Approved by: linimon (mentor)
v. 1.10
date: 2004/02/04 05:21:38; author: marcus; state: Exp; lines: +1 -1
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.
(Part 2)
v. 1.9
date: 2003/12/17 12:02:13; author: krion; state: Exp; lines: +3 -2
- Enable line-edit (works fine on -STABLE & -CURRENT)
- Bump PORTREVISION
- Grab maintainership
PR: 60323
Submitted by: Volker Stolz
v. 1.8
date: 2003/10/05 09:16:54; author: erwin; state: Exp; lines: +2 -0
Per bento logs, this port won't configure except on i386.
Mark it as ignore to warn the unwary. (There's probably
little reason to mark it as broken since it has no
maintainer. Any volunteers?)
PR: 57594
Submitted by: Mark Linimon
v. 1.7
date: 2003/06/22 22:09:39; author: erwin; state: Exp; lines: +12 -13
- Fix build
- Support CFLAGS properly
- Fix COMMENT format
PR: 53390
Submitted by: KATO Tsuguru
v. 1.6
date: 2003/05/18 12:42:48; author: kris; state: Exp; lines: +1 -1
Reset bouncing maintainer address
v. 1.5
date: 2003/05/18 12:25:06; author: kris; state: Exp; lines: +2 -0
BROKEN: Does not build
v. 1.4
date: 2003/02/21 12:35:03; author: knu; state: Exp; lines: +1 -0
De-pkg-comment.
v. 1.3
date: 2002/11/23 08:20:10; author: nork; state: Exp; lines: +2 -0
Fix problems with two files not correctly upgraded during
upgrade from 1.2.1 to 1.2.16.
PR: ports/45615
Submitted by: Douglas Anestad (maintainer)
v. 1.2
date: 2002/11/23 00:43:32; author: edwin; state: Exp; lines: +6 -2
Maintainer update to version 1.2.16
PR: ports/45381
Submitted by: Douglas Anestad
v. 1.1
date: 2001/07/08 07:57:39; author: ijliao; state: Exp;
add gprolog
A free Prolog compiler developed by Daniel Diaz
PR: 28651
Submitted by: Douglas Anestad
=============================================================================
v. 1.22
date: 2007/09/30 04:46:59; author: linimon; state: Exp; lines: +2 -2
Switch autoconf dependencies from 2.53 or 2.59 to 2.61.
PR: ports/116639
Submitted by: aDe
v. 1.21
date: 2006/08/29 07:39:34; author: vs; state: Exp; lines: +5 -1
Fix permissions and use PORTDOCS
PR: ports/100962
Submitted by: Stanislav Sedov
v. 1.20
date: 2006/03/16 09:43:10; author: vs; state: Exp; lines: +3 -6
Somehow GCC 3.x generates a gprolog binary which fails immediately on startup.
Fall back to GCC 2.95 and bump PORTREVISION accordingly.
This update also brings back the FD-solver!
Maybe somebody should check what other distros do about this, but e.g. blindly
applying the Debian patch set doesn't fix this error.
Reminded by: Fernando López
v. 1.19
date: 2006/01/10 09:51:23; author: vs; state: Exp; lines: +6 -2
Unbreak: Build w/o FD-solver on 6.x+
Currently I do not have the resources to find out why it's breaking
v. 1.18
date: 2005/11/21 01:32:18; author: kris; state: Exp; lines: +4 -0
BROKEN on 6.0: Does not build
v. 1.17
date: 2005/11/15 06:49:54; author: ade; state: Exp; lines: +1 -1
Mass-conversion to the USE_AUTOTOOLS New World Order. The code present
in bsd.autotools.mk essentially makes this a no-op given that all the
old variables set a USE_AUTOTOOLS_COMPAT variable, which is parsed in
exactly the same way as USE_AUTOTOOLS itself.
Moreover, USE_AUTOTOOLS has already been extensively tested by the GNOME
team -- all GNOME 2.12.x ports use it.
Preliminary documentation can be found at:
http://people.FreeBSD.org/~ade/autotools.txt
which is in the process of being SGMLized before introduction into the
Porters Handbook.
Light blue touch-paper. Run.
v. 1.16
date: 2005/04/12 03:25:50; author: obrien; state: Exp; lines: +1 -1
At Kris's request, back out the MACHINE_ARCH spelling correction until
after 5.4-RELEASE.
v. 1.15
date: 2005/04/11 08:02:57; author: obrien; state: Exp; lines: +1 -1
Assist getting more ports working on AMD64 by obeying the
Ports Collection documentation and use 'ARCH' rather than 'MACHINE_ARCH'.
v. 1.14
date: 2005/03/15 14:42:32; author: vs; state: Exp; lines: +1 -1
Unbreak on 5.x by disabling fast-calls. Notice that you will still see
build errors if you have -march=pentium4 in your CFLAGS
PR: ports/78794
Submitted by: Arne Wörner
v. 1.13
date: 2005/02/17 15:58:21; author: vs; state: Exp; lines: +23 -6
- Update to CVS snapshot 1.2.18 (tarball from Debian)
- Use PORTDOCS/EXAMPLESDIR
- We still use the pre-built docs from 1.2.16
v. 1.12
date: 2004/09/18 17:32:36; author: kris; state: Exp; lines: +7 -1
BROKEN on 5.x: Does not compile
Approved by: portmgr (self)
v. 1.11
date: 2004/03/10 13:16:50; author: vs; state: Exp; lines: +1 -1
- Update MAINTAINER-line of my ports to new @FreeBSD.org address
- Nuke 2x USE_SIZE while here
Approved by: linimon (mentor)
v. 1.10
date: 2004/02/04 05:21:38; author: marcus; state: Exp; lines: +1 -1
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.
(Part 2)
v. 1.9
date: 2003/12/17 12:02:13; author: krion; state: Exp; lines: +3 -2
- Enable line-edit (works fine on -STABLE & -CURRENT)
- Bump PORTREVISION
- Grab maintainership
PR: 60323
Submitted by: Volker Stolz
v. 1.8
date: 2003/10/05 09:16:54; author: erwin; state: Exp; lines: +2 -0
Per bento logs, this port won't configure except on i386.
Mark it as ignore to warn the unwary. (There's probably
little reason to mark it as broken since it has no
maintainer. Any volunteers?)
PR: 57594
Submitted by: Mark Linimon
v. 1.7
date: 2003/06/22 22:09:39; author: erwin; state: Exp; lines: +12 -13
- Fix build
- Support CFLAGS properly
- Fix COMMENT format
PR: 53390
Submitted by: KATO Tsuguru
v. 1.6
date: 2003/05/18 12:42:48; author: kris; state: Exp; lines: +1 -1
Reset bouncing maintainer address
v. 1.5
date: 2003/05/18 12:25:06; author: kris; state: Exp; lines: +2 -0
BROKEN: Does not build
v. 1.4
date: 2003/02/21 12:35:03; author: knu; state: Exp; lines: +1 -0
De-pkg-comment.
v. 1.3
date: 2002/11/23 08:20:10; author: nork; state: Exp; lines: +2 -0
Fix problems with two files not correctly upgraded during
upgrade from 1.2.1 to 1.2.16.
PR: ports/45615
Submitted by: Douglas Anestad (maintainer)
v. 1.2
date: 2002/11/23 00:43:32; author: edwin; state: Exp; lines: +6 -2
Maintainer update to version 1.2.16
PR: ports/45381
Submitted by: Douglas Anestad
v. 1.1
date: 2001/07/08 07:57:39; author: ijliao; state: Exp;
add gprolog
A free Prolog compiler developed by Daniel Diaz
PR: 28651
Submitted by: Douglas Anestad
=============================================================================
|
| |
|