kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/gprolog/PLIST

189 lines
6.9 KiB
Text
Raw Normal View History

(lang/gprolog) Updated to 1.4.5, thanks maya@ to fix calloc issue Change in GNU Prolog version 1.4.5 (Feb 2018): pp* fix a bug in soft-cut (when a cut appears in the if-part) * fix bug when consulting multifile predicates with alternatives * add ?- ISO prefix operator * add gplc option --new-top-level (add top-level command-line option handling) * fix a bug on linux witg gcc 6.3.0 (or binutils): needs PIC code * fix a bug in findall/4 * fix a bug in select/5 under Windows * fix a bug in the compiler * fix a bug in read/1 * fix large address awarenes under cygwin32 (configure.in) * improve memory limitation of acyclic_term/1 * improve term output (write/1 and friends) * improve error handling for options (e.g. in write_term/3) * fix bug with cut in the if-part of if-then(-else) * fix port to x86_64/OpenBSD (machine kindly provided by Duncan Patton a Campbell) * fix a bug with Apple/Yosemite gcc = LLVM version 6.0 (clang-600.0.56) on x86_64 * allow to define more atoms with MAX_ATOM env var on 64 bits machines * fix a bug in bagof/3 when used as findall/3 * port to sparc64/OpenBSD (machine kindly provided by Duncan Patton a Campbell) * add built-in predicate findall/4 * fix a bug with linedit when environment variable LINEDIT=no * fix bugs in the FD solver * set socket option SO_REUSEADDR at socket creation * support for alternate Prolog file extension .prolog * fix a bug in atoms for 1-char atom '\0' (now acts as the empty atom) * fix problems with Apple/Mavericks gcc = LLVM version 5.0 (clang-500.2.79) on x86_64 * remove clang warnings (uninitialized variables) * fix bugs in the lexer of the form 0bop 2 when bop is an infix op * fix terminal ANSI sequence handling in linedit * increase internal compiler data sizes * fix bug in gprolog.h (invalid 64 bits PL_MAX_INTEGER)
2019-06-15 00:28:35 +02:00
@comment $NetBSD: PLIST,v 1.8 2019/06/14 22:28:35 mef Exp $
Import gprolog-1.1.6, the GNU prolog compiler and interpreter, into the Packages Collection. Package created by Brook Milligan (brook@biology.nmsu.edu) and submitted in PR pkg/10479. Additional Solaris patch by myself.
2000-07-03 12:27:49 +02:00
bin/fd2c
bin/gplc
bin/gprolog
bin/hexgplc
bin/ma2asm
bin/pl2wam
bin/wam2ma
Updated gprolog to 1.3.0. Change in GNU Prolog version 1.3.0: * official release (Jan 4 2007) * change error messages emitted by the compiler to follow GNU standards * modify doc (mainly rename manual.xxx to gprolog.xxx) * add DESTDIR variable support in main Makefile for staged installs * fix a bug with Prolog floats in x86_64/linux (bad stack alignment) * port for ix86/darwin (Mac OS X) * add check target to main Makefile * improve Win32 ports (cygwin, MinGW, MSVC 6.0 and 2005 Express Edition) (MSVC port uses MinGW as.exe instead of nasm.exe - named mingw-as.exe provided in the setup.exe) * rename call/2 to call_det/2 * implement call/2-11 as will be defined in the next standard * fix various problems when compiling with gcc 4 (gcc 4.1.1) * emit .note.GNU-stack to mark the stack as no executable in x86_any.c, x86_64_any.c and powerpc_any.c * change the way objects are found (obj_chain.c) using gcc ctors * use Doug Lea malloc for OpenBSD (problem with malloc using mmap) * fix problems in various ports: alpha/linux, powerpc/darwin (Mac OS X), sparc/solaris, ix86/OpenBSD Change in GNU Prolog version 1.2.19: * fix 2 bugs in global variables Change in GNU Prolog version 1.2.18: * fix problem when compiling with gcc 3.4.0 * fix bug in term comparison involving negative integers * add consult, ... and fix minor bugs in the Win32 GUI console menu * fix the stack overflow detection under cygwin * port to ix86/MinGW - many thanks to: Cesar Rabak <csrabak@ig.com.br> * fix a problem in the port to x86/OpenBSD * port to sparc/NetBSD and powerpc/NetBSD - many thanks to: Jason Beegan <jtb@netbsd.org> * fix a bug in =../2 involving FD variables * fix a bug in arithmetics (in float_{integer/fractional}_part) * fix a bug in FD solver (wrong union with a singleton) Change in GNU Prolog version 1.2.17: * change configure.in: by default ebp is not used * fix a but with CTRL+C handler not reinstalled * fix a bug with _XXX (re)displayed under the top-level * port to x86_64/linux - many thanks to: Gwenole Beauchesne <gbeauchesne@mandrakesoft.com>
2007-12-01 13:27:59 +01:00
lib/${PKGNAME}/COPYING
lib/${PKGNAME}/ChangeLog
lib/${PKGNAME}/NEWS
Update to 1.4.2, based on patches by Mayuresh in PR 47325. Set LICENSE while here. Change in GNU Prolog version 1.4.2: * fix a bug in the x86/NetBSD port * fix a bug in the compiler for byte-code with op/3 directive * fix a bug in the debugger * modify decompose_file_name/4 (fix problems under windows) * add built-in is_absolute_file_name/1 and is_relative_file_name/1 * modify the compiler include/1 directive handling (if the file to include is not found, seach in directories of parent includers) * modify atom table management (its size can be defined via env. var MAX_ATOM) * fix a bug with soft-call inside a meta-call * implement term_hash/2 and term_hash/4. Bacward incompatibility: new_atom/3 and and atom_hash/2 no longer exists. * fix some little bugs with 64 bits (e.g. stream id) * modify the FD solver to handle very long computations * fix a bug in the compiler (unification with fresh vars in the body) * fix a bug with *-> containing ! in the test part (! was not local to the test) * fix a bug to configure with sigaction on old linux kernels * fix some problems/bugs on 64 bits machine Change in GNU Prolog version 1.4.1: * improve signal handling * add an option --wam-comment to gplc and pl2wam * fix multifile directive (works now with an empty predicate as required by ISO) * fix absolute_file_name to expand ~ using HOMEDRIVE and HOMEPATH under windows if HOME is not defined * improve listing/0-1 output * add soft cut control construct and its associated operator *-> * improve the top-level results in case of cyclic terms * fix arithmetic evaluable functor ^/2 to work with floats * increase maximum number of variables in a term * add write_term option variable_names * add built-in predicates between/3 and succ/2 * fix bug in the DCG expander * fix bug in member/2 * recognize escape sequence \s (space) and \e (escape) if strict_iso is off * add error detection in length/2 if given length is negative * add built-in predicates maplist/2-5 * fix a regression bug in the FD solver about sparse domains * increase size of FD internal stacks and fix memory leak * port to x86_64/Darwin (Mac OS X) - many thanks to: Ozaki Kiichi <gclient.gaap@gmail.com> * fix a bug in x86_64 with --disable-regs * fix a bug when consulting a file under Win XP/Vista 32 bits * fix a bug when consulting a file using '$VAR'(N) or '$VARNAME'(A) * fix a bug in new_atom/1-2 which returned duplicates * fix a bug in write/1 when an empty atom is passed * improve portray_clause (numbervars and space before final dot) Change in GNU Prolog version 1.4.0: * GNU Prolog is now licensed under a dual license LGPL or GPL * port to x86_64/MinGW - many thanks to: Jasper Taylor <jasper@simulistics.com> (see src/WINDOWS64) * port to x86_64/MSVC (see src/WINDOWS64) * add a configure option to control Windows HtmlHelp --disable-htmlhelp or --enable-htmlhelp[=static/dynamic] * improve a lot (and fix some bugs in) the Windows GUI Console * change location of gprologvars.bat under Windows (in install directory) * increase default stack sizes (32Mb for heap, 16Mb for others) * change the default setting for flag strict_iso: it is on now * add control constructs to the predicate table * modify predicate_property/2 (built_in_fd ==> built_in, add control_construct) only accepts a Head (a callable) (no longer a predicate indicator) * fix a bug in the compiler (bad unification with singleton variable) * fix a bug with strict_iso flag (was not passed to consult) * add shebang support using #!/usr/bin/gprolog --consult-file * modify the mangling scheme for future module support (see hexgplc) * fix write_term default options (now numbervars(false) and namevars(false)) * fix read/1: tab and newlines are not accepted inside single/back/double quoted tokens * add additional errors to compare/3 and keysort/2 * accept space under the top-level (same as ;) * modify portray_clause/1-2 to add a newline at the end of the output * add acyclic_term/1 (compatibility only since GNU Prolog does not handle cyclic terms) * fix write/1 to treat '$VARNAME'(Atom) as a var name only if Atom is a valid var name * rename evaluable functor atan/2 as atan2/2 and >< as xor * add evaluable functor div/2 * detect op/3 error cases for | [] {} * replace type_error(variable, X) by uninstantiation_error(X) (e.g. open/3-4) * add built-in term_variables/2-3 and subsumes_term/2 * add some type tests on chars and codes (in number_chars/2, number_codes/2,..) * fix some little bugs in the parser * add meta_predicate property to predicate_property/2 * fix a memory leak in atom_concat/3 (in case of failure) * add infix operator '|' (and allow it to be unquoted in read/write) * improve top-level variables display adding () when needed * support the ISO multifile/1 directive * add built-ins false/0 and forall/2 * detect an instantiation_error in phrase/2-3 * allow rounding functions to accept an integer if strict_iso is off * group all examples under a new directory 'examples' * fix a bug in read_from_codes/2 and number_codes/2 * improve speed of built-in predicates on list (append, member, reverse,...). * improve CTRL+C handling under the top-level * add is_list/1 (same as list/1) * add Prolog flags: dialect, home, host_os, host_vendor, host_cpu, host, arch, version, version_data, unix, argv * add preprocessor directives if/1 else/0 elif/1 endif/0 * fix a bug on large ints in the byte-code for 64-bits machine * fix a bug with call/2-N * change listing/0-1 printing stream: now it is current_output * add a new stream alias: user_error associated to stderr * add evaluable functors: (a)sinh/1, (a)cosh/1, (a)tanh/1 * add evaluable functors: epsilon/0, lsb/1, msb/1, popcount/1 * fix compilation problem under Mac OS X Snow Leopard (force 32-bits mode) * add evaluable functors: log/2, gcd/2, tan/1, atan2/2, pi/0, e/0 * add built-in ground/1 * rename built-in sort0 as msort * add new error detection for keysort * accept (but ignore) directive encoding/1 * add xor/2 (bitwise XOR) ^/2 becomes integer exponentiation * improve randomize/0 (more different values on consecutive calls) * relax the lexer to also accept 0'' (ISO requires 0''' or 0'\') is strict_iso is off * fix a bug with top-level options --entry-goal and --query-goal
2012-12-14 15:42:53 +01:00
lib/${PKGNAME}/README
Updated gprolog to 1.3.0. Change in GNU Prolog version 1.3.0: * official release (Jan 4 2007) * change error messages emitted by the compiler to follow GNU standards * modify doc (mainly rename manual.xxx to gprolog.xxx) * add DESTDIR variable support in main Makefile for staged installs * fix a bug with Prolog floats in x86_64/linux (bad stack alignment) * port for ix86/darwin (Mac OS X) * add check target to main Makefile * improve Win32 ports (cygwin, MinGW, MSVC 6.0 and 2005 Express Edition) (MSVC port uses MinGW as.exe instead of nasm.exe - named mingw-as.exe provided in the setup.exe) * rename call/2 to call_det/2 * implement call/2-11 as will be defined in the next standard * fix various problems when compiling with gcc 4 (gcc 4.1.1) * emit .note.GNU-stack to mark the stack as no executable in x86_any.c, x86_64_any.c and powerpc_any.c * change the way objects are found (obj_chain.c) using gcc ctors * use Doug Lea malloc for OpenBSD (problem with malloc using mmap) * fix problems in various ports: alpha/linux, powerpc/darwin (Mac OS X), sparc/solaris, ix86/OpenBSD Change in GNU Prolog version 1.2.19: * fix 2 bugs in global variables Change in GNU Prolog version 1.2.18: * fix problem when compiling with gcc 3.4.0 * fix bug in term comparison involving negative integers * add consult, ... and fix minor bugs in the Win32 GUI console menu * fix the stack overflow detection under cygwin * port to ix86/MinGW - many thanks to: Cesar Rabak <csrabak@ig.com.br> * fix a problem in the port to x86/OpenBSD * port to sparc/NetBSD and powerpc/NetBSD - many thanks to: Jason Beegan <jtb@netbsd.org> * fix a bug in =../2 involving FD variables * fix a bug in arithmetics (in float_{integer/fractional}_part) * fix a bug in FD solver (wrong union with a singleton) Change in GNU Prolog version 1.2.17: * change configure.in: by default ebp is not used * fix a but with CTRL+C handler not reinstalled * fix a bug with _XXX (re)displayed under the top-level * port to x86_64/linux - many thanks to: Gwenole Beauchesne <gbeauchesne@mandrakesoft.com>
2007-12-01 13:27:59 +01:00
lib/${PKGNAME}/VERSION
lib/${PKGNAME}/bin/fd2c
lib/${PKGNAME}/bin/gplc
lib/${PKGNAME}/bin/gprolog
lib/${PKGNAME}/bin/hexgplc
lib/${PKGNAME}/bin/ma2asm
lib/${PKGNAME}/bin/pl2wam
lib/${PKGNAME}/bin/wam2ma
Update to GNU Prolog 1.4.4 Changes in GNU Prolog version 1.4.4: * add Prolog flags c_cc_version_data * fix a regression bug in linedit * fix a little bug in the debugger * add subtract/3 built-in predicate Changes in GNU Prolog version 1.4.3: * add new C foreign interface functions converting term to/from C strings * modify top-level banner to show 32/64 bits, compile date, C compiler name * modify Linedit: fix Prolog prompt when Linedit is not activated * modify linedit: accept gui=silent in env var LINEDIT (does not warn if the windows gui DLL is not found) * fixes for Windows 8 (i686 and x86_64) with MSVS 2012, mingw64 gcc > 4.5.3 * add Prolog flags address_bits, compiled_at, c_cc, c_cflags, c_ldflags * fix a bug in the FD solver (option backtracks in fd_labeling) * improve the FD solver (better propagation for reified constraints at labeling) * improve the FD solver (add labeling option: value_method(bisect)) * improve the FD solver (avoid some cases of C stack overflow, improved fd_domain/3) * fix a bug in the FD solver (regression bug in 1.4.2) * add PlULong to gprolog.h and PlThrow(ball) to C foreign interface
2013-06-11 22:05:37 +02:00
lib/${PKGNAME}/gprolog.ico
Updated gprolog to 1.3.0. Change in GNU Prolog version 1.3.0: * official release (Jan 4 2007) * change error messages emitted by the compiler to follow GNU standards * modify doc (mainly rename manual.xxx to gprolog.xxx) * add DESTDIR variable support in main Makefile for staged installs * fix a bug with Prolog floats in x86_64/linux (bad stack alignment) * port for ix86/darwin (Mac OS X) * add check target to main Makefile * improve Win32 ports (cygwin, MinGW, MSVC 6.0 and 2005 Express Edition) (MSVC port uses MinGW as.exe instead of nasm.exe - named mingw-as.exe provided in the setup.exe) * rename call/2 to call_det/2 * implement call/2-11 as will be defined in the next standard * fix various problems when compiling with gcc 4 (gcc 4.1.1) * emit .note.GNU-stack to mark the stack as no executable in x86_any.c, x86_64_any.c and powerpc_any.c * change the way objects are found (obj_chain.c) using gcc ctors * use Doug Lea malloc for OpenBSD (problem with malloc using mmap) * fix problems in various ports: alpha/linux, powerpc/darwin (Mac OS X), sparc/solaris, ix86/OpenBSD Change in GNU Prolog version 1.2.19: * fix 2 bugs in global variables Change in GNU Prolog version 1.2.18: * fix problem when compiling with gcc 3.4.0 * fix bug in term comparison involving negative integers * add consult, ... and fix minor bugs in the Win32 GUI console menu * fix the stack overflow detection under cygwin * port to ix86/MinGW - many thanks to: Cesar Rabak <csrabak@ig.com.br> * fix a problem in the port to x86/OpenBSD * port to sparc/NetBSD and powerpc/NetBSD - many thanks to: Jason Beegan <jtb@netbsd.org> * fix a bug in =../2 involving FD variables * fix a bug in arithmetics (in float_{integer/fractional}_part) * fix a bug in FD solver (wrong union with a singleton) Change in GNU Prolog version 1.2.17: * change configure.in: by default ebp is not used * fix a but with CTRL+C handler not reinstalled * fix a bug with _XXX (re)displayed under the top-level * port to x86_64/linux - many thanks to: Gwenole Beauchesne <gbeauchesne@mandrakesoft.com>
2007-12-01 13:27:59 +01:00
lib/${PKGNAME}/include/fd_to_c.h
lib/${PKGNAME}/include/gprolog.h
lib/${PKGNAME}/lib/all_fd_bips.o
lib/${PKGNAME}/lib/all_pl_bips.o
lib/${PKGNAME}/lib/debugger.o
lib/${PKGNAME}/lib/libbips_fd.a
lib/${PKGNAME}/lib/libbips_pl.a
lib/${PKGNAME}/lib/libengine_fd.a
lib/${PKGNAME}/lib/libengine_pl.a
lib/${PKGNAME}/lib/liblinedit.a
lib/${PKGNAME}/lib/top_level.o
(lang/gprolog) Updated to 1.4.5, thanks maya@ to fix calloc issue Change in GNU Prolog version 1.4.5 (Feb 2018): pp* fix a bug in soft-cut (when a cut appears in the if-part) * fix bug when consulting multifile predicates with alternatives * add ?- ISO prefix operator * add gplc option --new-top-level (add top-level command-line option handling) * fix a bug on linux witg gcc 6.3.0 (or binutils): needs PIC code * fix a bug in findall/4 * fix a bug in select/5 under Windows * fix a bug in the compiler * fix a bug in read/1 * fix large address awarenes under cygwin32 (configure.in) * improve memory limitation of acyclic_term/1 * improve term output (write/1 and friends) * improve error handling for options (e.g. in write_term/3) * fix bug with cut in the if-part of if-then(-else) * fix port to x86_64/OpenBSD (machine kindly provided by Duncan Patton a Campbell) * fix a bug with Apple/Yosemite gcc = LLVM version 6.0 (clang-600.0.56) on x86_64 * allow to define more atoms with MAX_ATOM env var on 64 bits machines * fix a bug in bagof/3 when used as findall/3 * port to sparc64/OpenBSD (machine kindly provided by Duncan Patton a Campbell) * add built-in predicate findall/4 * fix a bug with linedit when environment variable LINEDIT=no * fix bugs in the FD solver * set socket option SO_REUSEADDR at socket creation * support for alternate Prolog file extension .prolog * fix a bug in atoms for 1-char atom '\0' (now acts as the empty atom) * fix problems with Apple/Mavericks gcc = LLVM version 5.0 (clang-500.2.79) on x86_64 * remove clang warnings (uninitialized variables) * fix bugs in the lexer of the form 0bop 2 when bop is an infix op * fix terminal ANSI sequence handling in linedit * increase internal compiler data sizes * fix bug in gprolog.h (invalid 64 bits PL_MAX_INTEGER)
2019-06-15 00:28:35 +02:00
lib/${PKGNAME}/lib/top_level_main.o
Updated gprolog to 1.3.0. Change in GNU Prolog version 1.3.0: * official release (Jan 4 2007) * change error messages emitted by the compiler to follow GNU standards * modify doc (mainly rename manual.xxx to gprolog.xxx) * add DESTDIR variable support in main Makefile for staged installs * fix a bug with Prolog floats in x86_64/linux (bad stack alignment) * port for ix86/darwin (Mac OS X) * add check target to main Makefile * improve Win32 ports (cygwin, MinGW, MSVC 6.0 and 2005 Express Edition) (MSVC port uses MinGW as.exe instead of nasm.exe - named mingw-as.exe provided in the setup.exe) * rename call/2 to call_det/2 * implement call/2-11 as will be defined in the next standard * fix various problems when compiling with gcc 4 (gcc 4.1.1) * emit .note.GNU-stack to mark the stack as no executable in x86_any.c, x86_64_any.c and powerpc_any.c * change the way objects are found (obj_chain.c) using gcc ctors * use Doug Lea malloc for OpenBSD (problem with malloc using mmap) * fix problems in various ports: alpha/linux, powerpc/darwin (Mac OS X), sparc/solaris, ix86/OpenBSD Change in GNU Prolog version 1.2.19: * fix 2 bugs in global variables Change in GNU Prolog version 1.2.18: * fix problem when compiling with gcc 3.4.0 * fix bug in term comparison involving negative integers * add consult, ... and fix minor bugs in the Win32 GUI console menu * fix the stack overflow detection under cygwin * port to ix86/MinGW - many thanks to: Cesar Rabak <csrabak@ig.com.br> * fix a problem in the port to x86/OpenBSD * port to sparc/NetBSD and powerpc/NetBSD - many thanks to: Jason Beegan <jtb@netbsd.org> * fix a bug in =../2 involving FD variables * fix a bug in arithmetics (in float_{integer/fractional}_part) * fix a bug in FD solver (wrong union with a singleton) Change in GNU Prolog version 1.2.17: * change configure.in: by default ebp is not used * fix a but with CTRL+C handler not reinstalled * fix a bug with _XXX (re)displayed under the top-level * port to x86_64/linux - many thanks to: Gwenole Beauchesne <gbeauchesne@mandrakesoft.com>
2007-12-01 13:27:59 +01:00
share/doc/gprolog/compil-scheme.eps
share/doc/gprolog/compil-scheme.pdf
share/doc/gprolog/contents_motif.gif
share/doc/gprolog/debug-box.eps
share/doc/gprolog/debug-box.pdf
share/doc/gprolog/gprolog.chm
share/doc/gprolog/gprolog.dvi
share/doc/gprolog/gprolog.html
share/doc/gprolog/gprolog.pdf
share/doc/gprolog/gprolog.ps
share/doc/gprolog/html/contents_motif.gif
share/doc/gprolog/html/gprolog-idx.html
share/doc/gprolog/html/gprolog.css
share/doc/gprolog/html/gprolog001.html
share/doc/gprolog/html/gprolog002.html
share/doc/gprolog/html/gprolog003.html
share/doc/gprolog/html/gprolog004.html
share/doc/gprolog/html/gprolog005.html
share/doc/gprolog/html/gprolog006.html
share/doc/gprolog/html/gprolog007.html
share/doc/gprolog/html/gprolog008.html
share/doc/gprolog/html/gprolog009.html
share/doc/gprolog/html/gprolog010.html
share/doc/gprolog/html/gprolog011.html
share/doc/gprolog/html/gprolog012.html
share/doc/gprolog/html/gprolog013.html
share/doc/gprolog/html/gprolog014.html
share/doc/gprolog/html/gprolog015.html
share/doc/gprolog/html/gprolog016.html
share/doc/gprolog/html/gprolog017.html
share/doc/gprolog/html/gprolog018.html
share/doc/gprolog/html/gprolog019.html
share/doc/gprolog/html/gprolog020.html
share/doc/gprolog/html/gprolog021.html
share/doc/gprolog/html/gprolog022.html
share/doc/gprolog/html/gprolog023.html
share/doc/gprolog/html/gprolog024.html
share/doc/gprolog/html/gprolog025.html
share/doc/gprolog/html/gprolog026.html
share/doc/gprolog/html/gprolog027.html
share/doc/gprolog/html/gprolog028.html
share/doc/gprolog/html/gprolog029.html
share/doc/gprolog/html/gprolog030.html
share/doc/gprolog/html/gprolog031.html
share/doc/gprolog/html/gprolog032.html
share/doc/gprolog/html/gprolog033.html
share/doc/gprolog/html/gprolog034.html
share/doc/gprolog/html/gprolog035.html
share/doc/gprolog/html/gprolog036.html
share/doc/gprolog/html/gprolog037.html
share/doc/gprolog/html/gprolog038.html
share/doc/gprolog/html/gprolog039.html
share/doc/gprolog/html/gprolog040.html
share/doc/gprolog/html/gprolog041.html
share/doc/gprolog/html/gprolog042.html
share/doc/gprolog/html/gprolog043.html
share/doc/gprolog/html/gprolog044.html
share/doc/gprolog/html/gprolog045.html
share/doc/gprolog/html/gprolog046.html
share/doc/gprolog/html/gprolog047.html
share/doc/gprolog/html/gprolog048.html
share/doc/gprolog/html/gprolog049.html
share/doc/gprolog/html/gprolog050.html
share/doc/gprolog/html/gprolog051.html
share/doc/gprolog/html/gprolog052.html
share/doc/gprolog/html/gprolog053.html
share/doc/gprolog/html/gprolog054.html
share/doc/gprolog/html/gprolog055.html
share/doc/gprolog/html/gprolog056.html
share/doc/gprolog/html/gprolog057.html
share/doc/gprolog/html/gprolog058.html
share/doc/gprolog/html/gprolog059.html
share/doc/gprolog/html/gprolog060.html
share/doc/gprolog/html/gprolog061.html
share/doc/gprolog/html/gprolog062.html
share/doc/gprolog/html/gprolog063.html
share/doc/gprolog/html/gprolog064.html
share/doc/gprolog/html/gprolog065.html
share/doc/gprolog/html/gprolog066.html
share/doc/gprolog/html/gprolog067.html
share/doc/gprolog/html/gprolog068.html
share/doc/gprolog/html/gprolog069.html
share/doc/gprolog/html/gprolog070.html
share/doc/gprolog/html/gprolog071.html
Update to GNU Prolog version 1.3.1. Changes in GNU Prolog version 1.3.1: * add working sigaction detection to detect fault addr (e.g. Mac OS X) * add gplc option --no-mult-warn * add prolog flags suspicious_warning, multifile_warning * detect integer underflow/overflow in the parser * fix a memory leak in catch/3 * increase limits (MAX_VAR_NAME_LENGTH=1024 and MAX_VAR_IN_TERM=10240) * add PL_INT_LOWEST_VALUE and PL_INT_GREATEST_VALUE to gprolog.h * prefix all global symbols, constants and types with Pl_ PL_ Pl * fix a bug in the byte-code due to new max number of atoms * provide a minimal gprolog.h * detect if struct sigcontext needs asm/sigcontext.h on linux * modify gplc: --c-compiler also sets linker and --linker added * port to x86_64/bsd - many thanks to: David Holland <dholland@netbsd.org> * fix problem using ebx as global reg (bug in gcc 4.3.2) * fix a bug in is/2 with [X] (X should only be an integer) * fix a bug with atoms '/*' '*/' and '%' (were not quoted) * increase maximum number of atoms to 1048576 (2^20) * increase default stack sizes (16Mb for heap, 8Mb for others) * fix stack alignment for x86_64/Solaris * include patch from Paul Eggert <eggert@cs.ucla.edu> for sparc/solaris8 * port to x86_64/Solaris - many thanks to: Scott L. Burson <Scott@coral8.com> * fix a bug in arithmetics (mod) * fix a bug in the FD solver (under 64 bits machines)
2010-05-19 11:10:55 +02:00
share/doc/gprolog/html/gprolog072.html
share/doc/gprolog/html/gprolog073.html
Updated gprolog to 1.3.0. Change in GNU Prolog version 1.3.0: * official release (Jan 4 2007) * change error messages emitted by the compiler to follow GNU standards * modify doc (mainly rename manual.xxx to gprolog.xxx) * add DESTDIR variable support in main Makefile for staged installs * fix a bug with Prolog floats in x86_64/linux (bad stack alignment) * port for ix86/darwin (Mac OS X) * add check target to main Makefile * improve Win32 ports (cygwin, MinGW, MSVC 6.0 and 2005 Express Edition) (MSVC port uses MinGW as.exe instead of nasm.exe - named mingw-as.exe provided in the setup.exe) * rename call/2 to call_det/2 * implement call/2-11 as will be defined in the next standard * fix various problems when compiling with gcc 4 (gcc 4.1.1) * emit .note.GNU-stack to mark the stack as no executable in x86_any.c, x86_64_any.c and powerpc_any.c * change the way objects are found (obj_chain.c) using gcc ctors * use Doug Lea malloc for OpenBSD (problem with malloc using mmap) * fix problems in various ports: alpha/linux, powerpc/darwin (Mac OS X), sparc/solaris, ix86/OpenBSD Change in GNU Prolog version 1.2.19: * fix 2 bugs in global variables Change in GNU Prolog version 1.2.18: * fix problem when compiling with gcc 3.4.0 * fix bug in term comparison involving negative integers * add consult, ... and fix minor bugs in the Win32 GUI console menu * fix the stack overflow detection under cygwin * port to ix86/MinGW - many thanks to: Cesar Rabak <csrabak@ig.com.br> * fix a problem in the port to x86/OpenBSD * port to sparc/NetBSD and powerpc/NetBSD - many thanks to: Jason Beegan <jtb@netbsd.org> * fix a bug in =../2 involving FD variables * fix a bug in arithmetics (in float_{integer/fractional}_part) * fix a bug in FD solver (wrong union with a singleton) Change in GNU Prolog version 1.2.17: * change configure.in: by default ebp is not used * fix a but with CTRL+C handler not reinstalled * fix a bug with _XXX (re)displayed under the top-level * port to x86_64/linux - many thanks to: Gwenole Beauchesne <gbeauchesne@mandrakesoft.com>
2007-12-01 13:27:59 +01:00
share/doc/gprolog/html/index.html
share/doc/gprolog/html/next_motif.gif
share/doc/gprolog/html/previous_motif.gif
Update to GNU Prolog 1.4.4 Changes in GNU Prolog version 1.4.4: * add Prolog flags c_cc_version_data * fix a regression bug in linedit * fix a little bug in the debugger * add subtract/3 built-in predicate Changes in GNU Prolog version 1.4.3: * add new C foreign interface functions converting term to/from C strings * modify top-level banner to show 32/64 bits, compile date, C compiler name * modify Linedit: fix Prolog prompt when Linedit is not activated * modify linedit: accept gui=silent in env var LINEDIT (does not warn if the windows gui DLL is not found) * fixes for Windows 8 (i686 and x86_64) with MSVS 2012, mingw64 gcc > 4.5.3 * add Prolog flags address_bits, compiled_at, c_cc, c_cflags, c_ldflags * fix a bug in the FD solver (option backtracks in fd_labeling) * improve the FD solver (better propagation for reified constraints at labeling) * improve the FD solver (add labeling option: value_method(bisect)) * improve the FD solver (avoid some cases of C stack overflow, improved fd_domain/3) * fix a bug in the FD solver (regression bug in 1.4.2) * add PlULong to gprolog.h and PlThrow(ball) to C foreign interface
2013-06-11 22:05:37 +02:00
share/doc/gprolog/logo.eps
share/doc/gprolog/logo.pdf
Update to gprolog 1.2.16. NetBSD patches were apparently merged in version 1.1.7 Since then, several releases have been made, so that the list of changes is too extensive to be included here. Please see ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/NEWS and/or the documentation in this package. This addresses PR pkg/18962 by Mr. Jan Schaumann.
2002-11-13 21:15:10 +01:00
share/examples/gprolog/ExamplesC/Makefile
share/examples/gprolog/ExamplesC/README
share/examples/gprolog/ExamplesC/examp.pl
share/examples/gprolog/ExamplesC/examp_c.c
share/examples/gprolog/ExamplesC/new_main.pl
share/examples/gprolog/ExamplesC/new_main_c.c
(lang/gprolog) Updated to 1.4.5, thanks maya@ to fix calloc issue Change in GNU Prolog version 1.4.5 (Feb 2018): pp* fix a bug in soft-cut (when a cut appears in the if-part) * fix bug when consulting multifile predicates with alternatives * add ?- ISO prefix operator * add gplc option --new-top-level (add top-level command-line option handling) * fix a bug on linux witg gcc 6.3.0 (or binutils): needs PIC code * fix a bug in findall/4 * fix a bug in select/5 under Windows * fix a bug in the compiler * fix a bug in read/1 * fix large address awarenes under cygwin32 (configure.in) * improve memory limitation of acyclic_term/1 * improve term output (write/1 and friends) * improve error handling for options (e.g. in write_term/3) * fix bug with cut in the if-part of if-then(-else) * fix port to x86_64/OpenBSD (machine kindly provided by Duncan Patton a Campbell) * fix a bug with Apple/Yosemite gcc = LLVM version 6.0 (clang-600.0.56) on x86_64 * allow to define more atoms with MAX_ATOM env var on 64 bits machines * fix a bug in bagof/3 when used as findall/3 * port to sparc64/OpenBSD (machine kindly provided by Duncan Patton a Campbell) * add built-in predicate findall/4 * fix a bug with linedit when environment variable LINEDIT=no * fix bugs in the FD solver * set socket option SO_REUSEADDR at socket creation * support for alternate Prolog file extension .prolog * fix a bug in atoms for 1-char atom '\0' (now acts as the empty atom) * fix problems with Apple/Mavericks gcc = LLVM version 5.0 (clang-500.2.79) on x86_64 * remove clang warnings (uninitialized variables) * fix bugs in the lexer of the form 0bop 2 when bop is an infix op * fix terminal ANSI sequence handling in linedit * increase internal compiler data sizes * fix bug in gprolog.h (invalid 64 bits PL_MAX_INTEGER)
2019-06-15 00:28:35 +02:00
share/examples/gprolog/ExamplesFD/BUILD_HOUSE.pl
Update to gprolog 1.2.16. NetBSD patches were apparently merged in version 1.1.7 Since then, several releases have been made, so that the list of changes is too extensive to be included here. Please see ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/NEWS and/or the documentation in this package. This addresses PR pkg/18962 by Mr. Jan Schaumann.
2002-11-13 21:15:10 +01:00
share/examples/gprolog/ExamplesFD/Makefile
share/examples/gprolog/ExamplesFD/alpha.pl
share/examples/gprolog/ExamplesFD/array.pl
share/examples/gprolog/ExamplesFD/bdiag.pl
share/examples/gprolog/ExamplesFD/bdonald.pl
share/examples/gprolog/ExamplesFD/bpigeon.pl
share/examples/gprolog/ExamplesFD/bqueens.pl
share/examples/gprolog/ExamplesFD/bramsey.pl
share/examples/gprolog/ExamplesFD/bridge.pl
share/examples/gprolog/ExamplesFD/bridge1.pl
share/examples/gprolog/ExamplesFD/bschur.pl
share/examples/gprolog/ExamplesFD/bsend.pl
share/examples/gprolog/ExamplesFD/cars.pl
share/examples/gprolog/ExamplesFD/crypta.pl
share/examples/gprolog/ExamplesFD/digit8.pl
share/examples/gprolog/ExamplesFD/donald.pl
share/examples/gprolog/ExamplesFD/eq10.pl
share/examples/gprolog/ExamplesFD/eq20.pl
share/examples/gprolog/ExamplesFD/five.pl
share/examples/gprolog/ExamplesFD/gardner.pl
Update to 1.4.2, based on patches by Mayuresh in PR 47325. Set LICENSE while here. Change in GNU Prolog version 1.4.2: * fix a bug in the x86/NetBSD port * fix a bug in the compiler for byte-code with op/3 directive * fix a bug in the debugger * modify decompose_file_name/4 (fix problems under windows) * add built-in is_absolute_file_name/1 and is_relative_file_name/1 * modify the compiler include/1 directive handling (if the file to include is not found, seach in directories of parent includers) * modify atom table management (its size can be defined via env. var MAX_ATOM) * fix a bug with soft-call inside a meta-call * implement term_hash/2 and term_hash/4. Bacward incompatibility: new_atom/3 and and atom_hash/2 no longer exists. * fix some little bugs with 64 bits (e.g. stream id) * modify the FD solver to handle very long computations * fix a bug in the compiler (unification with fresh vars in the body) * fix a bug with *-> containing ! in the test part (! was not local to the test) * fix a bug to configure with sigaction on old linux kernels * fix some problems/bugs on 64 bits machine Change in GNU Prolog version 1.4.1: * improve signal handling * add an option --wam-comment to gplc and pl2wam * fix multifile directive (works now with an empty predicate as required by ISO) * fix absolute_file_name to expand ~ using HOMEDRIVE and HOMEPATH under windows if HOME is not defined * improve listing/0-1 output * add soft cut control construct and its associated operator *-> * improve the top-level results in case of cyclic terms * fix arithmetic evaluable functor ^/2 to work with floats * increase maximum number of variables in a term * add write_term option variable_names * add built-in predicates between/3 and succ/2 * fix bug in the DCG expander * fix bug in member/2 * recognize escape sequence \s (space) and \e (escape) if strict_iso is off * add error detection in length/2 if given length is negative * add built-in predicates maplist/2-5 * fix a regression bug in the FD solver about sparse domains * increase size of FD internal stacks and fix memory leak * port to x86_64/Darwin (Mac OS X) - many thanks to: Ozaki Kiichi <gclient.gaap@gmail.com> * fix a bug in x86_64 with --disable-regs * fix a bug when consulting a file under Win XP/Vista 32 bits * fix a bug when consulting a file using '$VAR'(N) or '$VARNAME'(A) * fix a bug in new_atom/1-2 which returned duplicates * fix a bug in write/1 when an empty atom is passed * improve portray_clause (numbervars and space before final dot) Change in GNU Prolog version 1.4.0: * GNU Prolog is now licensed under a dual license LGPL or GPL * port to x86_64/MinGW - many thanks to: Jasper Taylor <jasper@simulistics.com> (see src/WINDOWS64) * port to x86_64/MSVC (see src/WINDOWS64) * add a configure option to control Windows HtmlHelp --disable-htmlhelp or --enable-htmlhelp[=static/dynamic] * improve a lot (and fix some bugs in) the Windows GUI Console * change location of gprologvars.bat under Windows (in install directory) * increase default stack sizes (32Mb for heap, 16Mb for others) * change the default setting for flag strict_iso: it is on now * add control constructs to the predicate table * modify predicate_property/2 (built_in_fd ==> built_in, add control_construct) only accepts a Head (a callable) (no longer a predicate indicator) * fix a bug in the compiler (bad unification with singleton variable) * fix a bug with strict_iso flag (was not passed to consult) * add shebang support using #!/usr/bin/gprolog --consult-file * modify the mangling scheme for future module support (see hexgplc) * fix write_term default options (now numbervars(false) and namevars(false)) * fix read/1: tab and newlines are not accepted inside single/back/double quoted tokens * add additional errors to compare/3 and keysort/2 * accept space under the top-level (same as ;) * modify portray_clause/1-2 to add a newline at the end of the output * add acyclic_term/1 (compatibility only since GNU Prolog does not handle cyclic terms) * fix write/1 to treat '$VARNAME'(Atom) as a var name only if Atom is a valid var name * rename evaluable functor atan/2 as atan2/2 and >< as xor * add evaluable functor div/2 * detect op/3 error cases for | [] {} * replace type_error(variable, X) by uninstantiation_error(X) (e.g. open/3-4) * add built-in term_variables/2-3 and subsumes_term/2 * add some type tests on chars and codes (in number_chars/2, number_codes/2,..) * fix some little bugs in the parser * add meta_predicate property to predicate_property/2 * fix a memory leak in atom_concat/3 (in case of failure) * add infix operator '|' (and allow it to be unquoted in read/write) * improve top-level variables display adding () when needed * support the ISO multifile/1 directive * add built-ins false/0 and forall/2 * detect an instantiation_error in phrase/2-3 * allow rounding functions to accept an integer if strict_iso is off * group all examples under a new directory 'examples' * fix a bug in read_from_codes/2 and number_codes/2 * improve speed of built-in predicates on list (append, member, reverse,...). * improve CTRL+C handling under the top-level * add is_list/1 (same as list/1) * add Prolog flags: dialect, home, host_os, host_vendor, host_cpu, host, arch, version, version_data, unix, argv * add preprocessor directives if/1 else/0 elif/1 endif/0 * fix a bug on large ints in the byte-code for 64-bits machine * fix a bug with call/2-N * change listing/0-1 printing stream: now it is current_output * add a new stream alias: user_error associated to stderr * add evaluable functors: (a)sinh/1, (a)cosh/1, (a)tanh/1 * add evaluable functors: epsilon/0, lsb/1, msb/1, popcount/1 * fix compilation problem under Mac OS X Snow Leopard (force 32-bits mode) * add evaluable functors: log/2, gcd/2, tan/1, atan2/2, pi/0, e/0 * add built-in ground/1 * rename built-in sort0 as msort * add new error detection for keysort * accept (but ignore) directive encoding/1 * add xor/2 (bitwise XOR) ^/2 becomes integer exponentiation * improve randomize/0 (more different values on consecutive calls) * relax the lexer to also accept 0'' (ISO requires 0''' or 0'\') is strict_iso is off * fix a bug with top-level options --entry-goal and --query-goal
2012-12-14 15:42:53 +01:00
share/examples/gprolog/ExamplesFD/interval.pl
Updated gprolog to 1.3.0. Change in GNU Prolog version 1.3.0: * official release (Jan 4 2007) * change error messages emitted by the compiler to follow GNU standards * modify doc (mainly rename manual.xxx to gprolog.xxx) * add DESTDIR variable support in main Makefile for staged installs * fix a bug with Prolog floats in x86_64/linux (bad stack alignment) * port for ix86/darwin (Mac OS X) * add check target to main Makefile * improve Win32 ports (cygwin, MinGW, MSVC 6.0 and 2005 Express Edition) (MSVC port uses MinGW as.exe instead of nasm.exe - named mingw-as.exe provided in the setup.exe) * rename call/2 to call_det/2 * implement call/2-11 as will be defined in the next standard * fix various problems when compiling with gcc 4 (gcc 4.1.1) * emit .note.GNU-stack to mark the stack as no executable in x86_any.c, x86_64_any.c and powerpc_any.c * change the way objects are found (obj_chain.c) using gcc ctors * use Doug Lea malloc for OpenBSD (problem with malloc using mmap) * fix problems in various ports: alpha/linux, powerpc/darwin (Mac OS X), sparc/solaris, ix86/OpenBSD Change in GNU Prolog version 1.2.19: * fix 2 bugs in global variables Change in GNU Prolog version 1.2.18: * fix problem when compiling with gcc 3.4.0 * fix bug in term comparison involving negative integers * add consult, ... and fix minor bugs in the Win32 GUI console menu * fix the stack overflow detection under cygwin * port to ix86/MinGW - many thanks to: Cesar Rabak <csrabak@ig.com.br> * fix a problem in the port to x86/OpenBSD * port to sparc/NetBSD and powerpc/NetBSD - many thanks to: Jason Beegan <jtb@netbsd.org> * fix a bug in =../2 involving FD variables * fix a bug in arithmetics (in float_{integer/fractional}_part) * fix a bug in FD solver (wrong union with a singleton) Change in GNU Prolog version 1.2.17: * change configure.in: by default ebp is not used * fix a but with CTRL+C handler not reinstalled * fix a bug with _XXX (re)displayed under the top-level * port to x86_64/linux - many thanks to: Gwenole Beauchesne <gbeauchesne@mandrakesoft.com>
2007-12-01 13:27:59 +01:00
share/examples/gprolog/ExamplesFD/langford.pl
Update to gprolog 1.2.16. NetBSD patches were apparently merged in version 1.1.7 Since then, several releases have been made, so that the list of changes is too extensive to be included here. Please see ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/NEWS and/or the documentation in this package. This addresses PR pkg/18962 by Mr. Jan Schaumann.
2002-11-13 21:15:10 +01:00
share/examples/gprolog/ExamplesFD/magic.pl
share/examples/gprolog/ExamplesFD/magsq.pl
share/examples/gprolog/ExamplesFD/multipl.pl
share/examples/gprolog/ExamplesFD/partit.pl
share/examples/gprolog/ExamplesFD/qg5.pl
share/examples/gprolog/ExamplesFD/queens.pl
share/examples/gprolog/ExamplesFD/queens_fd.fd
share/examples/gprolog/ExamplesFD/send.pl
share/examples/gprolog/ExamplesFD/square.pl
share/examples/gprolog/ExamplesFD/srq.pl
share/examples/gprolog/ExamplesPl/Makefile
share/examples/gprolog/ExamplesPl/PROGS
share/examples/gprolog/ExamplesPl/README
share/examples/gprolog/ExamplesPl/boyer.pl
share/examples/gprolog/ExamplesPl/browse.pl
share/examples/gprolog/ExamplesPl/cal.pl
share/examples/gprolog/ExamplesPl/chat_parser.pl
share/examples/gprolog/ExamplesPl/common.pl
share/examples/gprolog/ExamplesPl/crypt.pl
share/examples/gprolog/ExamplesPl/ham.pl
share/examples/gprolog/ExamplesPl/hook.pl
share/examples/gprolog/ExamplesPl/meta_qsort.pl
share/examples/gprolog/ExamplesPl/nand.pl
share/examples/gprolog/ExamplesPl/nrev.pl
share/examples/gprolog/ExamplesPl/poly_10.pl
share/examples/gprolog/ExamplesPl/qsort.pl
share/examples/gprolog/ExamplesPl/queens.pl
share/examples/gprolog/ExamplesPl/queensn.pl
share/examples/gprolog/ExamplesPl/query.pl
share/examples/gprolog/ExamplesPl/reducer.pl
share/examples/gprolog/ExamplesPl/sdda.pl
share/examples/gprolog/ExamplesPl/sendmore.pl
share/examples/gprolog/ExamplesPl/tak.pl
share/examples/gprolog/ExamplesPl/tak_gvar.pl
share/examples/gprolog/ExamplesPl/zebra.pl
Reference in a new issue Copy permalink