Log message:
* .include "../../devel/readline/buildlink3.mk" with USE_GNU_READLINE=yes
  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".

Log message:
Don't try to strip Perl scripts. Pass down -export-dynamic as linker
flag.

Log message:
Update to YAP 6.3.3

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.

Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.

Log message:
Update to Yap 6.2.2

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.

Log message:
Deal with broken name lookup in GCC.

Log message:
Don't use obsolete "malloc.h", some systems choose to break it \ 
intentionally (e.g. DragonFly).

Log message:
Update to Yap 6.2.1
Changes since 6.2.0 include DragonFly support.

Log message:
Update to Yap 6.2.0

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).

Log message:
Quickly fix accidentally broken update.