kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/gprolog/PLIST
wiz e6e43ecbf6 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 14:42:53 +00:00

187 lines
6.9 KiB
Text
Raw Blame History

@comment $NetBSD: PLIST,v 1.6 2012/12/14 14:42:53 wiz Exp $
bin/fd2c
bin/gplc
bin/gprolog
bin/hexgplc
bin/ma2asm
bin/pl2wam
bin/wam2ma
lib/${PKGNAME}/COPYING
lib/${PKGNAME}/ChangeLog
lib/${PKGNAME}/NEWS
lib/${PKGNAME}/README
lib/${PKGNAME}/gprolog.ico
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
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
share/doc/gprolog/compil-scheme.eps
share/doc/gprolog/compil-scheme.gif
share/doc/gprolog/compil-scheme.pdf
share/doc/gprolog/contents_motif.gif
share/doc/gprolog/debug-box.eps
share/doc/gprolog/debug-box.gif
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
share/doc/gprolog/html/gprolog072.html
share/doc/gprolog/html/gprolog073.html
share/doc/gprolog/html/gprolog074.html
share/doc/gprolog/html/index.html
share/doc/gprolog/html/next_motif.gif
share/doc/gprolog/html/previous_motif.gif
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
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
share/examples/gprolog/ExamplesFD/interval.pl
share/examples/gprolog/ExamplesFD/langford.pl
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 View git blame Copy permalink