Navigation:
lang gprolog
CVSweb ] [ 
Homepage ] [ 
RSS feed ]| Version: 1.5.0, Package name: gprolog-1.5.0 |
| 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: 3724.511 KB |
| Version History (View Complete History) |
|
| 2020-06-13 06:07:22 by Charlene Wendling | Files touched by this commit (1) |
Log message: gprolog: mark BROKEN-powerpc OK sthen@ |
| 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. |