3e7343fc0d
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
186 lines
6.8 KiB
Text
186 lines
6.8 KiB
Text
@comment $NetBSD: PLIST,v 1.7 2013/06/11 20:05:37 asau 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}/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}/gprolog.ico
|
|
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.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
|
|
share/doc/gprolog/html/gprolog072.html
|
|
share/doc/gprolog/html/gprolog073.html
|
|
share/doc/gprolog/html/index.html
|
|
share/doc/gprolog/html/next_motif.gif
|
|
share/doc/gprolog/html/previous_motif.gif
|
|
share/doc/gprolog/logo.eps
|
|
share/doc/gprolog/logo.pdf
|
|
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
|