summaryrefslogtreecommitdiff
path: root/lang/yap
AgeCommit message (Collapse)AuthorFilesLines
2015-03-15wants to link with pthreadstnn1-1/+2
2015-01-21recuesive bump from libarchive major update.obache1-1/+2
2014-04-21Fix build against readline 6.3.joerg2-1/+14
2014-01-06pow(3) takes double arguments.joerg2-1/+15
2013-10-27Make the GCC version check specific enough to not match clang.joerg3-7/+25
2013-07-19Don't use false as pointer. Don't use default arguments in friendjoerg3-1/+38
definition.
2013-07-15* .include "../../devel/readline/buildlink3.mk" with USE_GNU_READLINE=yesryoon1-3/+1
are replaced with .include "../../devel/readline/buildlink3.mk", and USE_GNU_READLINE are removed, * .include "../../devel/readline/buildlink3.mk" without USE_GNU_READLINE are replaced with .include "../../mk/readline.buildlink3.mk".
2013-06-13Don't try to strip Perl scripts. Pass down -export-dynamic as linkerjoerg4-2/+91
flag.
2013-06-12Update to YAP 6.3.3asau7-182/+382
Notable changes in YAP 6.3.3 - exo compilation, a way to store large DBs much more compactly - a new way to do save/restore - improvements on the SWI interface, including improved support of SWI packages. The core IO code has been updated to the latest SWI devel. - interfaces Prolog->R (r..eal from Nicos and all) and YAP->Python - PRiSM port - PFL, a new language to write graphical models, by Tiago Gomes - gobs of bug fixes. Notable changes in YAP 6.3.2 - new tabling code that supports a global table and answer subsumption - an interface to gecode - a low-level interface to R - a low-level interface to CUDD and also to c2d - a PRISM interface - the gprof interface works again, it has been rewritten to save the log as a file. - the save/restore now can save a module only, and does not depend on memory tricks. - there is a first (needs lots of work) Windows console (based on SWI code). - Lots of bug fixes Notable changes in YAP 6.3 - YAP now uses the SWI Input/Output routines. This includes the SWI streams handling code, and the SWI write routines. - YAP also includes support to the pldoc and plunit libraries. - New implementation of saved state routines allows saving modules. - GECODE interface.
2012-10-02Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.asau1-3/+1
2012-06-16Update to Yap 6.2.2asau3-7/+15
In terms of the core YAP, most changes are small bug fixes. They include - better support for 64 bits in win64, - some fixes to the garbage collector - OSX Lion compilation - wide char support - bug in copy_term when some variables have attributes - fixes to lam interface - C-interface and SWI support - over-optimisation of =/2. - arithmetic exceptions - write_canonical (Ulrich) - retracting may not follow lu semantics - minor predicate import bug. There has been a lot of progress in ProbLog and cplint.
2012-06-15Deal with broken name lookup in GCC.joerg3-1/+43
2011-07-09Don't use obsolete "malloc.h", some systems choose to break it intentionally ↵asau2-10/+25
(e.g. DragonFly).
2011-07-08Update to Yap 6.2.1asau7-88/+28
Changes since 6.2.0 include DragonFly support.
2010-10-27Update to Yap 6.2.0asau5-14/+51
New in Yap-6.2.0: YAP now includes the ProbLog language, developed at Leuven. Better compatibility with SWI-Prolog, YAP now includes most of the SWI web stuff, the constraint solvers, the plunit code, and the Java and python interfaces. The MYDDAS SQL and odbc interfaces are now integrated and enabled by default. YAP also now includes support for rational numbers, a lot of new math operations, lots of bug fixes, a few engine optimisations. New libraries include Neumerkel's lambda library, a first step at coinduction support, and Nicos excellent R-interface. The co-routing code has been totally cleaned up. Changes in Yap-6.0.7: NEW: YAP_SetYAPFlag (request from Theo Mantadelis). NEW: support div/2 as per WG17. FIXED: restore from / file should just try that file. FIXED: bad things can happen to P when user code is called (obs from Ingo Thon). NEW: coinduction.yap. FIXED: remove leftover files including two lib*.a (obs from Bernd Gutmann). FIXED: Make clean should result in recompiling all *.o (obs from Bernd Gutmann). NEW: Ulrich Neumerkel's lambda library. DELETE: ^/2 and ^/3 as grammar built-ins. FIXED: make install in clpqr was broken if we used local install_sh . DELETE: atan/2 arithmetic function, use atan2/2 instead (WG17). FIXED: compilation in Solaris was broken because of conflict in declaration of gethostname. FIXED: acyclic_term/1 is now built-in (WG17). NEW: subsumes_term/2 (WG17).
2010-08-10Quickly fix accidentally broken update.asau3-10/+14
2010-08-10Update to Yap 6.0.6asau7-31/+174
Highlights: - configure system rewritten and simplified - better emulation of SWI, especially of C-interface, allows: o port of SWI packages: sgml and plunit work better, clib, RDF, zlib and http seem to be working well, semweb compiles o better integration with C: it is now possible to call YAP from JPL reliably (all tests in the demos/java directory succeed in Linux) o it is now possible to create a stream with SWI routines and use YAP IO (parser, writer) on it o pyswip: YAP now includes a version of the pyswip package for experimentation: all the demos seem to be work (YAP must be compiled as a dynamic library) - compilation in Sun and NetBSD - YAP can now handle very, very large terms in compiled clauses. - several new builtins - improve thread implementation, especially locking in IO routines and indexing o fix C thread interface - fix odbc support in MYDDAS - fix overflow in == - fix bad call to subsumes/2 - new version of trie library, developed by Theo and Ricardo
2010-05-18Update to YAP-6.0.5asau5-91/+163
Changes in Yap-6.0.5: - Very large programs: indexing very large DBs requires very large intermediate data-structures. malloc is changed to avoid memory fragmentation. - Heap data-structures: there was some confusion about what should be going through save/restore and atom-gc, and what is local to a run. Fixed that by two files describing the two types: global variables and code-space data structures. - SWI emulation cleanup: some builti-ins (like predsort/3, plus/3) are now in YAP proper, the file was cleaned up and made to rely more on Changes in Yap-6.0.4: Overhaul/cleanup of the attributed variable and coroutining code: - attributed variables now don't have a separate stack; instead, they are allocated as global variables. - Prolog code for attributed variables cleaned up: layers now are engine, hprolog/SWI attvars, freeze and SICStus emulation libraries Changes in Yap-6.0.3: 6.0.3 is another bug fix release: - a bug in indexing large integers - a choice-point left over in consulting - fix error handling in comparisons - garbage collection of functor/3 could sometimes break - fixes to chr port - exec_prefix - bad error reporting in some arithmetic conditions - erf function - win32 install fixes - operators need to be exported in module list, some weren't. - tabling stuff Changes in Yap-6.0.2: This is a bug fix release: - fix current_op/3 in WIN32 (P Moura) - fix nb_current/2 (J Santos) and add SWI user:exception/3 (Bernd and Jose), add fix to nb_ in distributed ProbLog. - fix goal_expansion - fix clp(fd) all_distinct/1 and circuit/1 (M Triska) - fix seekable file detection in WIN32 - add yap.pdf and yap.html to win32 bundle (M Ferreira). - check for badly typed calls to load_files and friends. - threads: fix bad locking while spying (P Moura). Changes in Yap-6.0.1: - engine improvements; - many bug fixes; - new implementation of arithmetic; - better ISO compatibility; - improvements in tabling; - SWI-compatibility, YAP now includes support for most of the SWI foreign interface, and many built-ins, ports of SWI packages include jpl, chr, clpfd, clpr, sgml, prolog_xref, swi-minisat interface, and plunit; - yap-6 also includes a really cool new language called ProbLog. Changes in Yap-5.1.4: - FIXED: bad locking in p_signal (obs from Paulo Moura). - FIXED: DESTDIR and chr. - FIXED: make term_variables a builtin. (SWI compatibility). - NEW: X is random(Int) (SWI compatibility). - NEW: seletchk/3. - FIXED: do meta-expansion from undefp. - FIXED: handle correctly flatten([_,[_]],L). - FIXED: bad syntax in config.h (patch from Keri Harris). - NEW: format over atom/1. - FIXED: clean up apply_macros in swi mode. - FIXED: clean up meta-expansion. - FIXED: do meta-expansion from undefined call. - NEW: selectchk/3, nth1/3 and nth1/4. - FIXED: YapOpcodes has wrong formats (obs from Bart Demoen). - FIXED: improve format message (obs from Bart Demoen). - NEW: more versions of maplist (obs from Bart Demoen). - FIXED: use import mechanism for SWI's flatten/2 (obs from Bart Demoen). - FIXED: steps towards typed rbtrees plus some cases where one should not copy the null node (Tom Schrijvers and Bart Demoen). - FIXED: map_tree in trees library (Bart Demoen). - FIXED: bad call to splay_tree (Bart Demoen). - FIXED: bad type for write_x_var in add_info (Bart Demoen). - FIXED: exec/3 should flush streams. - FIXED: load_files/2 compilation_mode to allow :- source and replace compile by compact. - FIXED: list_concat/2 (fix from Bart Demoen). - NEW: dgraph_reachable/3 and friends.
2010-03-24Recursive revision bump for GMP update.asau1-1/+2
2010-02-11Update to Yap 5.1.3.asau11-184/+253
Many improvements, bug and compatibility fixes since previous 5.0.0 package.
2009-06-14Remove @dirrm entries from PLISTsjoerg1-16/+1
2008-06-12Add DESTDIR support.joerg1-1/+3
2008-03-04Resign from maintaining a lot of packages, so everyone is free to updaterillig1-2/+2
them at will.
2006-01-11Add DragonFly support.joerg4-1/+61
2005-11-04Of course the distinfo must be updated after changing the DIST_SUBDIR.rillig1-4/+4
2005-11-04Take a new DIST_SUBDIR for the changed distfile.rillig1-2/+2
2005-11-04The distfile has changed. The changes are mostly in the documentation filesrillig1-4/+4
and one in a C file, which is most probably harmless.
2005-11-01Changed MASTER_SITES to sourceforge, as the old one is not availablerillig1-2/+4
anymore. The checksum of the tarball has changed, because the documentation has been updated and one #ifdef been added to the source. Therefore bumped PKGREVISION.
2005-08-25Updated yap to 5.0.0.rillig3-20/+75
Changes include support for regular expressions and more example files.
2005-07-20Added YAP-4.4.4.rillig4-0/+232
YAP is a high-performance Prolog compiler developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM (Warren Abstract Machine), with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog.