Changes in YAP4.3

Yap4.3.2:

• FIXED: Yap can now use shm for memory allocation.
• NEW: Yap can use malloc if mmap, shm, and sbrk failed.
• FIXED: sbrk allocation should be working again.
• CLEANUP: get rid of unused functions in old alloc.c.
• CLEANUP: in Yap.h.m4 make clear when you are in second quadrant
• CLEANUP: keep table with all c-predicates. restore now does not need to reinitialise functions.
• FIXED: in alloc.c, handle cases where /dev/zero fails properly.
• CLEANUP: move atoms and functors into heap_codes.
• CLEANUP: move module info to heap_codes.
• FIXED: save.c would not restore properly bfunc instructions. Had to add a p field for these instructions.
• FIXED: save.c was not always restoring pp->OpcodeOfPred.
• FIXED: reset opcode-op hash-table in new calls to InitReverseLookupOpcode.
• FIXED: check if emulator shifted when recovering saved states.
• NEW: charsio, SICStus compatible reading to and writing from strings.
• FIXED: uncaught instantiation errors in eval routines.
• NEW: yap_flag(character_escapes,{on,off})
• CLEANUP: get rid of config.c.

Yap4.3.1:

• FIXED: $call and $spied_call used with one less argument by debugger.
• FIXED: bug in repeat from top level.
• FIXED: MAX_DEPTH was set too high.
• FIXED: use actual definition of repeat.
• FIXED: use < to compare cps for !, not == because of (! ->)
• FIXED: $set_depth_limit should work with Integer, not Int.
• FIXED: Allow Linux to compile without getrusage but using times (problem with glibc/kernel).

Yap4.3.0 has been released.

Changes in YAP4.2

Yap4.2.1:

• FIXED: up release number.
• FIXED: swap order of first authors in the manual.
• NEW: more patches for OPTYap.
• FIXED: not all Linuxen that have fpu_control.h understand _FPU_SETCW.

Yap4.2.0pl18:

• FIXED: DebugPutc.
• FIXED: SBA must initialise or set public permanent variables in the SBA.
• FIXED: get rid of a Prolog definition for number_codes.
• FIXED: YOUNGER out of OPTYap and renamed YOUNGER_CP.
• FIXED: don't use offsets to local in SBA.
• FIXED: make DelayedB and TopB actual choicepointers to support SBA.
• FIXED: memory allocation for FreeBSD.
• RW Locks are now in YAP (unused yet).
• FIXED: dynamic arrays were getting too complex, allow the heap to point to the global stack and change garbage collector to handle it. YAP_ARRAYS is now compatible with everything ;-) and can stop being an option.
• FIXED: cut used < instead of !=.
• NEW: new YapOr code from Ricardo.
• FIXED: a few complaints with Solaris.
• NEW: generate exceptions in ISO mode for HP-UX.
• FIXED: use_module relies on ensure_loaded, which is now a directive.
• FIXED: 64/32 bit errors in Alpha.
• FIXED: SEG_SIZE is pre-defined in HP platform.
• FIXED: should call Error only after leaving interrupt handler, otherwise sigsetjmp will overwrite registers.
• FIXED: fill CharConversionTable with null chars;
• FIXED: warning in PowerPCs.

Yap4.2.0pl17:

• FIXED: more improvements to Eval.
• NEW: predicate_property(X,public).
• NEW: public/1 directive, handling of source was cleaned up (it used to be broken if one would switch between source and no-source).
• NEW: special meta-call handling for ISO mode. Reduce amount of testing for other cases.
• CLEANUP: complete cleanup of eval. No more duplicate code, no more reg and fli.
• SPEEDUP: move get_spy_creep to yap_flags. This speeds up execute a bit.
• NEW: strict_iso mode.
• CLEANUP: InitEval.
• FIXED: arithmetic should be consistent even after an error.
• NEW: implement ISO exception handling for operations between floating-point numbers in Linux.
• NEW: handle floating point exceptions.
• CLEANUP: get rid of EQUAL_FLOATS and EQUAL_LONG_INTS as they weren't used any longer (and they were wrong anyway).
• NEW: add e, I've always liked this constant better than pi.
• FIXED: get a better pi.
• FIXED: fix round and friends for ISO mode.
• NEW: add xor (#) and sign.
• FIXED: get rid of finite, change integer the limits in YAP.
• FIXED: define atanh and friends for VC++ environments.
• FIXED: Get PlGetChar() back in, as users may want a simple interface to the current input for their own dubious purposes.
• NEW: yap_flag(discontiguous_warnings, single_var_warnings, redefine_warnings) as in SICStus. This should eventually replace style_check and no_style_check.
• FIXED: do not mark or sweep environments twice. This fixes Bart's YAP GC performance bug (as mentioned in comp.lang.prolog!).
• NEW: do variable shunting, not that it helps very much.
• FIXED: save should only save as many registers as it needs, and the ones it does should be adjusted when restoring.
• NEW: stream_select/3.
• NEW: save/2.
• NEW: char_conversion/2 and current_char_conversion. Add ISOGetc for this, change scanner for having two getcs (one within strings, the other elsewhere).
• FIXED: was recording source for optimised clauses, not just source for module preprocessed clause.
• CLEANUP: add specialised versions to PlGetc(): Sockets, EOF, Readline, and Console.
• CLEANUP: got rid of PlGetChar();
• CLEANUP: replaced PlPutc() by specialised versions for each type of stream: File, Console, Socket, Socket+Console, and Null;
• CLEANUP: got rid of PlPutChar();
• FIXED: ISO compatible mode for floor and friends.
• FIXED: YAP would crash with INTEGER mod 0.
• FIXED: miscellaneous error handling in eval.
• FIXED: number_chars and friends should be compatible with scanner.
• FIXED: stream_property should not work with aliases.
• NEW: char_code/2.
• FIXED: ISO mode activates fileerrors.
• FIXED: avoid using atom_chars within the system.
• FIXED: number_chars(X,I) and number_codes/2 with bad I should give error in ISO mode.
• FIXED: make ISO abolish/1 succeed for undefined procedures.
• FIXED: number_chars and atom_chars should be ISO compatible in ISO mode.
• FIXED: errors in call should throw ISO errors.
• FIXED: functor/3 should now have standard ISO behaviour on errors.
• FIXED: assert(X) would loop.
• FIXED: char_conversion/2 is now also a directive.
• FIXED: ensure_loaded/1 should be directive and not a built-in.
• FIXED: current_predicate/1 should not show system predicates and should be module aware.
• FIXED: utilpred.s now compiles with -DEUROTRA.
• FIXED: abolish/1 had several nasty bugs, especially in ISO mode.
• CLEANUP: got rid of nasty config.cache in main directory.
• FIXED: op/3 and set_prolog_flag/2 are directives.

Yap4.2.0pl16:

• FIXED: retractall was broken.

Yap4.2.0pl15:

• FIXED: in catch/3 set module to original module before handling a ball.
• SPEEDUP: improve testing with DEPTH_LIMIT.
• FIXED: DEPTH_LIMIT should only stop code running under depth_bound_call/2.
• FIXED: bug in parse_args (fix from Stasinos Konstantopoulos ).
• FIXED: copy_term/2 should now be able to copy constraints.
• FIXED: faster version of copy_term/2 should now handle rational trees.
• NEW: generate ps version of manual with make ps.
• FIXED: disable save term optimisation for extensions, as we may not have an S ready.
• CLEANUP: always use '$execute' instead of call internally.
• CLEANUP: get rid of '$user_call' as it should the same as '$execute'.
• NEW: separate between the standard catch, that uses the full meta-call, and a system catch, that uses $execute0 and $mod_switch and that should be only used deep within the bowels of the system.
• FIXED: expanded head variables of meta_predicates should not be expanded by inner meta-calls.
• FIXED: HAVE_STAT was not being generated correctly by autoconf.
• NEW: timeout:time_out.
• FIXED: make sure catch handlers are processed from within user.
• FIXED: processing of style_check by yap_flag(language,_).
• FIXED: discontiguous should now be module aware.
• FIXED: preprocess calls for meta-predicates from top-level.
• FIXED: simplify code that handles the fact that modules from primitives can be called from anywhere.
• FIXED: $module_expansion could be called with wrong number of arguments.
• FIXED: separate '$execute', the low-level mechanism for meta-call, from '$user_call', that must study meta-predicates.
• FIXED: README.VC

Yap4.2.0pl14:

• FIXED: allow big flags.
• FIXED: typos in yap.tex.
• NEW: yap_flag(host_type,X), where X comes from configure.
• NEW: more cleanups for autoconf.
• FIXED: more cleanups for autoconf.
• NEW: use -DBP_FREE by default for X86 machines.
• FIXED: make predicate_property more SICStus Prolog compatible.
• NEW: language mode now changes action over dynamic and over directives.
• NEW: initial DLL support for WIN32.
• FIXED: optimise arithmetic for asserted clauses.
• FIXED: calling garbage collector from within a C-backtrackable built-in should also have the extra arguments to the choice-point ready.
• NEW: YAP should now be able to load DLLs in WIN32.
• FIXED: YAP will now stop creeping after an abort.
• FIXED: meta-call within the debugger was externally visible.
• FIXED: small ANSI-C compatibility thingies.
• FIXED: writeq('aaa===\\''====') now outputs properly.
• NEW: yap_flags(update_semantics,logical_assert) if you only want to use logical update semantics for asserted code.
• NEW: yap_flags(language,{cprolog,sicstus,iso})
• FIXED: do not test for worken goals before !, it slows down execution too much.
• NEW: improve the performance of ==/2.
• FIXED: compile without COROUTINING
• FIXED: manual would not compile.

Yap4.2.0pl13:

• FIXED: term_expansion should be called in user module.
• FIXED: include new operation sderef_op when we want to know what a constrained variable is bound to.
• FIXED: try_logical_pred depended on B, but B might have been cut. Use trail for the moment.
• FIXED: call of project_attributes.
• NEW: blackboard routines bb_get, bb_put, bb_delete, bb_update and yap_flag(n_of_integer_keys_in_bb,INT). Includes a new file, bb.c.
• NEW: yap_flag(n_of_integer_keys_in_db,INT): dynamically set the number of entries for the hash table used in looking up integer keys for the data-base.

Yap4.2.0pl12:

• NEW: README.VC for VisualC++ users.
• FIXED: several small changes for VisualC++.
• FIXED: _WIN32 requires LOWTAGS (0x3000000 kind of address) for garbage collection to work.
• FIXED: UnifyBound was not handling extensions right.
• FIXED: had wrong definition for non-gcc EXTRA_CBACK_ARG.
• FIXED: make Yap compile under VisualC++ 6.0 again.
• FIXED: exit_yap would not exit.

Yap4.2.0pl11:

• FIXED: multifile was not complaining on missing declaration.
• FIXED: multifile declarations were not module aware.
• CLEANUP: assert/1 and dynamic/1.
• FIXED: for the nth time tried to make modules SICStus compatible :-(.
• NEW: integrated latest version of YAPOR (SBA and ACOW still do not work).

Yap4.2.0pl10:

• FIXED: could have a bad cut in call(X->Y).
• FIXED: add ord_intersect/3 again (same as ord_intersection/3).
• FIXED: save_program/2 would not set prompt correctly.
• FIXED: bug in stack_shifter after gc (was shifting global pointers).
• FIXED: save/1 was broken with coroutining.
• FIXED: use_module/2 should handle lists of files.
• FIXED: COROUTINING depended on DEBUG code.

Yap4.2.0pl9:

• FIXED: list_to_assoc/2.
• FIXED: ANALYST should compile again.
• FIXED: ensure_loaded and use_module are not directives!
• FIXED: bug in cleaning up for logical update semantics.
• FIXED: cuts will now call suspended goals.
• FIXED: debugger should now step through meta-predicates correctly.
• FIXED: trust_logical_pred did not release trail entry correctly.
• FIXED: recordedp might be create a new key in a different mode from the one used to create the dynamic procedure.
• FIXED: don't go through $undefp for dynamic procedures.
• FIXED: bugs in asserting dynamic procedures from compiled clauses.
• FIXED: buglets with multifile/1.
• FIXED: do not open directories except as binary files.
• NEW: library random.
• NEW: assoc now has ord_list_to_assoc/2 and get_assoc/5.
• NEW: compatibility module terms for term_utils.
• NEW: ordsets now has ord_union/4 and ord_del_element/3.
• NEW: add public/1 directive but currently this does nothing.
• FIXED: be more precise about which files you have consulted.
• FIXED: use_module/2 should not handle lists of files.
• FIXED: compare would stop whenever it would find two numbers, even if they were equal.
• NEW: attributed variables.
• FIXED: coroutining would break \=/2.
• NEW: ord_add_element/1 in ordsets.
• NEW: empty_assoc/1 in assoc_lists.
• CLEANUP: compile under lcc4.1/Linux.
• FIXED: storing compressed rational trees on DB was buggy.
• FIXED: $unknown(_:_) should not give an error.
• FIXED: ord_intersect/3 now is ord_intersection/3.
• FIXED: recursive do_goal would corrupt coroutining information.
• FIXED: handle possible overflows in quoted strings.
• CLEANUP: move .pl library files to .yap.
• CLEANUP: get rid of unused SusRecTop and SusRecBase.
• CLEANUP: move HeapUsed, HeapMax and HeapTop to Heap.
• FIXED: add MMAP_ADDR for WIN32.

Yap4.2.0pl8:

• NEW: user:goal_expansion/3.
• SPEEDUP: use separate table for integer keys to data base. Table size can be configured with -DMAX_DB_INT_KEYS=.
• SPEEDUP: increase the size of HashTable, which was ridiculously small.
• CLEANUP: allocate heap_regs as heap start.
• SPEEDUP: avoid calculation for compile-time keys.
• NEW: get_float.
• NEW: change the way functors of processed.
• CLEANUP: got rid of disgusting GeneralRef type, it has been replaced by Integer.
• FIXED: unknown_error should not complain if print is called with undefined portray.
• FIXED: delay cuts that go through embeddeded c-calls. This requires two extra registers, DelayedB and TopB.
• CLEANUP: LockPred wasn't being used any longer.
• FIXED: fact for true was not being asserted.
• NEW: now long ints and floats are tagged.
• FIXED: array/2 was a safe predicate that could call gc().
• FIXED: growstack in cclause should also call gc().

Yap4.2.0pl7:

• FIXED: 8 bit characters would be mangled by char->Int conversion in StringToList.
• NEW: Garbage collection should now work for a total space of 1GB on second quadrant (use low_tags).
• FIXED: ExtendWorkSpace would not always guarantee aligned size.
• NEW: call_with_args/n, meta-call with variable arity (up to 10).
• FIXED: array/2 overflow had not been fixed properly.
• FIXED: sort and friends would not handle overflow properly.
• FIXED: improve manual include small bugs, compatibility stuff.
• SPEEDUP: replace opcode(_index_pred) with INDEX_OPCODE.
• SPEEDUP: replace opcode(_undef_p) with UNDEF_OPCODE.
• FIXED: only optimise common_expressions up to level 5.

Yap4.2.0pl6:

• FIXED: coroutining had been broken when initialisation was reordered.
• ISO: predicate_property of static predicates now returns static, instead of compiled.
• FIXED: if format/2 ~s would complain for empty strings.
• FIXED: bug with too large arrays.
• NEW: term_hash/2 and term_hash/4.
• FIXED: allow modules in bodies of DCGs.
• FIXED: get rid of modules in head before they hit DCGs.
• FIXED: current_predicate with modules.
• FIXED: $undefined/1 should never collapse.
• FIXED: listing would collapse because of :/2. :/2 is not an undefined procedure now.
• FIXED: in saved states replace $* by "$@".
• NEW: user:unknown_predicate_handler/3 from SICStus.
• FIXED: declare findall/4 a meta_predicate.
• FIXED: switch third and fourth argument to findall/4 to obtain SICStus compatibility.
• FIXED: unknown/2 should know about modules.
• FIXED: speedup handling of unknown predicates in meta-calls.
• FIXED: speedup depth_bound_call(A,D) by using $execute.
• FIXED: add chapter on modules to manual.
• FIXED: meta_predicates from same module were not being expanded.
• FIXED: modules use current module for meta predicate.
• REVERSE: default meta_predicates back to user.

Yap4.2.0pl5:

• FIXED: meta_predicate should be a directive, not a standard predicate.
• FIXED: all default meta_predicates should belong to user, not primitives.
• FIXED: give errors when not finding libraries.
• FIXED: load_module/1 and load_module/2 are now directives.
• FIXED: load_module/2 would not accept libraries and had bad error handling.
• FIXED: catch/3 did not have a meta_predicate declaration.
• FIXED: meta predicates were not being expanded correctly.
• FIXED: saved state script was not passing arguments to Yap.
• FIXED: go around gcc bug in current_op for hpux machines.
• FIXED: top level abort would crash in hp machines (TR was overwritten).
• FIXED: error messages for op/3.
• FIXED: ord_member/2 in ordsets.

Yap4.2.0pl4:

• NEW: the evil recordaifnot/3 and recordzifnot/3 are now in the manual.
• FIXED: include ord_union/2 and ord_member/2 in ordsets.
• FIXED: complain about _:G.
• FIXED: allow modules in heads for assert and friends.
• FIXED: allow modules in multifile and dynamic declarations.
• FIXED: send error messages in modules.yap to user_error.
• FIXED: get rid of error message in eraseall.
• NEW: term_variables/2.
• FIXED: directives had broken ensure_loaded/1 for use_module/1.
• NEW: small performance improvements in unification routines (UnifyGlobalCells).

Yap4.2.0pl3:

• FIXED: small performance improvements in unification routines.
• FIXED: logical_update semantics were broken in pl2.
• FIXED: findall and friends were broken in pl2.
• FIXED: bind_global within unify_struct

Yap4.2.0pl2:

• NEW: static arrays of DB terms.
• NEW: close_static_array and resize_static_array now work over mmapped files.
• FIXED: rename delete_static_array to close_static_array.
• FIXED: improve the manual a little bit. Add info in README to Manual.
• FIXED: support for ISO-style atom_chars/2 and number_chars/2.
• NEW: ISO include/1 directive.
• ISO: ensure_loaded/1 is now a directive (and it cannot be called as a procedure).
• NEW: discontiguous/1 directive.
• NEW: process multifile/1 as a directive.
• FIXED: give warning if multifile procedures are used before multifile declaration.
• FIXED: multifile was very severy broken.
• FIXED: initialize/1 now follows ANSI semantics. We have prolog_initialize/1 for SICStus Prolog code.
• FIXED: don't explode if the compiler finds too many variables or if there is not enough code space to store our code.
• NEW: ISO quoted character sequences (note that this means that '\+' will break now).
• FIXED: remove limit on size of strings and quoted atoms.
• FIXED: [ ] is now parsed as [], like other Prologs do.
• FIXED: read-in clauses predicated by modules (mod:clause).
• FIXED: gcc/HP-UX would generate incorrect code for PredForCode. Use an extra temporary (at) and the probably goes away.
• NEW: add "make install-info", "make info" and "make html".
• FIXED: create a README file mentioning the license, get rid of the INSTALL file for now.
• FIXED: don't shadow S, CP, HB in hppa. They have their own registers.
• FIXED: change x86 back to base address 0x10000000 and tags back to opstags for Linux.

Yap4.2.0pl1:

• FIXED: works(?) in HP/UX.
• NEW: update_array for dynamic arrays.
• FIXED: works in FreeBSD.
• FIXED: improvements and additions to configuration scripts
• NEW: port to Visual C++ (_MSC_VER)
• NEW: major improvements and bug fixes to YAPOR.
• CLEANUP: _REG to _
• NEW: arrays of bytes and of unsigned bytes.
• FIXED: worked a bit on manual.
• NEW: resize_static_array/3
• NEW: delete_static_array/1
• FIXED: ACOW in YAPOR.
• FIXED: Error after Error would not notice there was no place to cut back to.
• FIXED: SBA in YAPOR.
• NEW: version/0 and version/1. Deleted yap_version/1.
• NEW: is_mutable/1.
• FIXED: recent bug in dif.
• SYNCH: with Ricardo Rocha's optyap. SBA is broken.
• FIXED: reverse_opcode_lookup table.
• NEW: YAP as a library,
  • New functions provide an interface for initialising and calling Yap from external environments. Note that Yap is still a big chunk.
  • Restoring embedded C-functions is now performed by restore_heap together with InitStaff.
  • The code to restore a clause has been updated to use yamop and GONEXT. The same code does both indices and clauses.
  • All macros that adjust pointers are now functions, and type-check their arguments.
  • All functions that restore a stack (from restore, growheap and growlocal) have now been merged in a general function in grow.c. This decreases efficiency slightly, but should improve maintainability.
  • InitStaff() now has an argument saying whether we are calling from boot or from restore. Note that most Prolog executions will actually call InitStaff() twice.
  • initialisation code in yap.c was simplified. Several functions and variables were moved out to init.c.
  • routines that start new goals were moved out of cdmgr.c to exec.c.
• FIXED: all clauses should terminate with _Ystop, but we just did emit_op instead of a_e.
• NEW: save_program/2.
• NEW: save_program/1. Default startup is now through save_program.
• FIXED: break should not remove choice-points.
• FIXED: allow (call(X), X) to possibly succeed. It is unclear whether that conforms to the ISO standard, but there is the excuse it is SICStus compatible.
• FIXED: $undefp would call a bad $user_call.
• FIXED: bad calculations for walltime.
• FIXED: bug with depth_bound_call for not and \+.
• FIXED: execute_goal would not recover registers correctly.
• NEW: SICStus compatibility predicates including incore/1, callable/1, and simple/1.
• NEW: add arity as an extra argument to _struct functions.
• FIXED: uninitialised profiling counters.
• FIXED: OPTYap had broken unknown=error.
• FIXED: small bug in assembling index code.
• FIXED: growheap would not fix trail properly.
• NEW: logical update semantics for internal data-base.
• CLEANUP: indexed code also has a tag.
• FIXED: putenv/2 must allocate static memory.
• FIXED: remove duplicate clauses in environ/2.

Yap4.2.0:

• NEW: YAP4.2.0 is out
• REMOVED: file RELEASE.NOTES

Changes in YAP4.1

Yap4.1.19:

• FIXED: phrase/3 had bad call to $t_body.
• FIXED: warnings on alpha.
• FIXED: make YAP compile on SGI's cc.
• ISO-YAP: accept 0o notation for octal integers.
• FIXED: rcdifnot would try to unify with NULL return pointer.
• FIXED: when/3 did not link Done variables.
• FIXED: bad copying of arguments in co-routining.
• NEW: first cut at SBA or-parallel execution.
• FIXED: YAP version is now in Makefile.
• NEW: alarm/3 (see manual).
• FIXED: errno handling is in io.h.

Yap4.1.18:

• FIXED: debugger would not work after change to call.
• FIXED: do not trace !G within debugger.

Yap4.1.17:

• FIXED: error handler for floats was too enthusiastic in format/3.
• FIXED: accept list of dynamic predicates.
• NEW: merge new version of Ricardo Rocha's OPTYAP including support for tabulation.
• NEW: improve performance of call.
• FIXED: trail overflow in heap gc (store_ref_in_dbtable).
• FIXED: close fd if mmap fails.
• FIXED: IsPrimitiveTerm would succeed on suspended variables.
• FIXED: small bug in socket_select.
• FIXED: garbage collector would follow old values of multi-assignment variables even if they were not heap pointers.
• FIXED: garbage collector was following list of suspended goals as if a variable.
• FIXED: call/1 was not importing modules correctly.
• NEW: A library. Right now it just consists of several files copied from the Edinburg Prolog library, with little or no change. To use it, you must do "make install" or have LIBDIR in the Makefile set to the YAP source directory.
• FIXED: garbage in debugger.
• FIXED: fix writing \+ (a,b) properly.
• NEW: get rid of addresses for the unify() routines. Unify now receives values, as it should, instead of addresses.
• NEW: get rid of the representant stuff for coroutining. Instead of trying to find out if we bound an external variable, from now on we must guarantee that we pass a non-dereferenced external variable (e.g. argument) to the unification routine, otherwise delayed variables may not wake up.
• FIXED: get rid of bind_variable.
• FIXED: exit_yap was not working (halt).
• FIXED: write version number when booting from a saved state.

Yap4.1.16:

• FIXED: don't crash if you're not booting from the standard file (SavedInfo should not assume LookupAtom works).
• FIXED: prompt (again).
• FIXED: debugging dynamic or source mode procedures would ignore depth limits.
• FIXED: -DBP_FREE could lose program counter, if changed by ErCl or ErDBE.
• FIXED: global registers could be smashed by the compiler within error handlers (SGI).
• FIXED: fix a bug on and thus enable garbage collection of code space.
• FIXED: bug in cut_by_y.
• FIXED: be less optimistic about when to expand the trail after a sigsegv.

Yap4.1.15:

• FIXED: disable garbage collection of code space.
• FIXED: growstack did not know OldH.
• FIXED: be conservative about new variables in branches (active_branch).
• NEW: change code to artistic license.
• FIXED: include errno.h in socket code.
• FIXED: strcpy of NULL pointers in sysbits.c.
• FIXED: writing \+ (a,b) would not output middle space, confusing the parser.
• NEW: initial support for the SBA model (parallelism).
• FIXED: make the system more robust when it can't get more memory.
• FIXED: recorded with unbounded key was crashing.
• CLEANUP: use derefa when we know the possible address for a variable. This avoids reading a memory cell twice.
• CLEANUP: make sockets a special stream, make actual reading and writing on sockets work, unify all close operations on sockets, update iopreds to take special care of sockets. Still not working: ungetc on sockets, eof has not been tested.
• CLEANUP: conditions on c-interface.
• FIXED: growheap could be called with wrong local stack pointer.
• NEW: always_prompt_user/0, for those who hide behind pipes and sockets.
• FIXED: bug in frozen/2 and friends.
• CLEANUP: use Prolog terms in coroutining, avoid NULL pointers.
• FIXED: save/restore was breaking corouting.
• FIXED: readline does not work under parallel execution.
• CLEANUP: cleanup some constructs so that YAP will compile under lcc again.
• CLEANUP: follow choicepoint ordering whenever possible.
• FIXED: incorrect detection of overflows in index.c.

Yap4.1.14:

• FIXED: texi2dvi failed on the manual because of incorrect placement of @*.
• FIXED: RECOVER_MACHINE_REGS for MIPS in Regs.h had somehow lost an E!
• FIXED: expand stacks if effectiveness of garbage collection is below 20%.
• FIXED: YAP was not checking for excessive number of labels while assembling.
• FIXED: get rid of no in sequential init.
• FIXED: bug in checking modules for abolish and friends.
• FIXED: with readline, prompt even if stderr is not a tty. Also make sure prompt goes to stderr, not to stdout.
• NEW: SICStus Prolog compatible socket interface (see manual, still experimental).

Yap4.1.13:

• FIXED: Cygnus/getrusage does not work under WIN95.
• FIXED: extraneous push in compiling bvmap for either.
• FIXED: long printf in heapgc.c
• FIXED: extraneous printf in dbase.c
• NEW: sync until leftmost in YAPOR.
• NEW: sequential predicates in YAPOR.
• FIXED: YAPOR in OPTYap now runs queens.

Yap4.1.12:

• FIXED: make sure that when you backtrack to an erased clause you don't get caught by dangling pointers.
• FIXED: check args to arithmetic comparisons are not free.
• FIXED: make sure you only mark an env var as initialised if the instruction refers it for the first time.
• FIXED: Error handler depended on pointer to freed code.
• FIXED: always fully gc clean the last environment.
• FIXED: new dbref gc cleaner could mess with dbqueues.
• FIXED: test if YAP can allocate more memory.
• FIXED: YAP now makes procedures dynamic after first assert.
• FIXED: because of disjunctions, variables in clauses do not always grow linearly. Change compiler to informe gc of actual live variables in an environment at any point, not including variables outside the current branch (even if at ancestor's branches). Take special care with optimised if-then-elses.
• NEW: speedup compact_heap.
• FIXED: CheckDBOverflow in MkDBTerm would not reset variables, as it should.
• FIXED: recover HB in gc.
• NEW: Integer macros for integers that may overflow.
• NEW: jump across unmarked cells in downward pass.
• NEW: simplify marking longints and doubles.
• NEW: small performance improvement in meta-call.
• FIXED: make toggle preds robust to meta-calls.
• FIXED: bad error handling in evaluable predicates.
• NEW: upgrade YAPOR to most recent OPTYAP.
• CLEANUP: use the RESET_VARIABLE macro to reset a variable.
• FIXED: ITERATIVE_DEEPENING option is now called DEPTH_LIMIT
• NEW: simplified autoconf script and Makefile.
• FIXED: YAPOR now compiles again and reaches top-level.
• CLEANUP: make assembly built-ins accessible as standard predicates. This makes meta-calls somewhat less bulky.
• FIXED: YAP could crash while reading in binary files. The problem was that the hash function could return an offset < 0.
• NEW: in GC check if db terms are in use, and if not reset counters. Further reclaim immediately space for terms erased and not in use (current implementation uses an inefficient unbalanced binary tree).
• NEW: in GC untrail unmarked bindings and reset the pointers.

Yap4.1.11:

• NEW: after several requests, added assert_static and friends.
• FIXED: bug in adding spaces while writing X is $VAR(2)+...
• NEW: stream aliases.
• FIXED: ^C-a now works on PUSH_REGS (eg, X86).
• FIXED: catch could remove other valid catches.
• FIXED: several cases of non-compatible ISO error handling.
• FIXED: current_input and current_output would fail for instantiated arguments.
• FIXED: writing $VAR(X) terms could core dump miserably.
• FIXED: initialisation was not protected by a catch/3.
• FIXED: system would exit after trying to compile Numeric or DBRef goal.
• NEW: improve performance of arithmetic comparisons by inserting them as ops in abstract machine.
• FIXED: meta-call would get lost in call((X,Y)). Callable checking is now ISO (almost).
• FIXED: recursive compare was not catching term_exts on second argument to comparison.
• FIXED: compilation warning on printing Int in alpha.
• FIXED: gc would mark terms accessible only from the trail. Change so that these pointers are only relocated, and remove dangling pointers from the trail.

Yap4.1.10:

• FIXED: get rid of ExecuteProlog as used by print/1, execute_goal can do the same.
• FIXED: execute_goal should survive garbage collection and/or stack shifting.
• FIXED: $undefined succeeded for predicates written in assembly.
• FIXED: provide 16 registers (ARG1 to ARG16).
• FIXED: some changes to make YAP work without ALIGN_LONGS.
• FIXED: old timing bug.
• FIXED: bug in generating cut.
• FIXED: don't crash if have several errors on the same expression.
• FIXED: use strerror instead of sys_errlist.
• FIXED: make system more resilient to small ints.
• FIXED: system should be more resilient when allocating large chunks of memory.
• FIXED: X is cputime should have no rounding problems.
• FIXED: silently fail on wrong array accesses.
• FIXED: true was not seen as built-in.
• FIXED: DEPTH was not always saved correctly in execute_prolog.

Yap4.1.9:

• FIXED: bug in scanner.
• FIXED: bug in allocating large chunks of memory under NT, and change to allow YAP to at least run under WIN95/98 (memory allocation and timing are not working yet for WIN98).

Yap4.1.8:

• FIXED: random would only work in Linux.
• FIXED: better names for array_element/3 and update_array/3.
• FIXED: array access now does boundary checking, and fails if you try to access an undefined reference.
• NEW: profiling now counts calls to non-profiled predicates, included system built-ins.
• FIXED: profiling now does not need to disable indexing.
• FIXED: predicate_property was returning just the name for unbound calls.
• NEW: putenv/2. If you want to start shell scripts.
• NEW: YAP now supports 8 bits char sets. The default is iso-latin.
• NEW: call_residue/2 now available.
• FIXED: serious bug in can_unify: HB was not set to H. Should be no problem with B.
• FIXED: trim_trail is not compatible with Multi-Assignment variables.
• FIXED: under a few cases code could have problems if some was using a dynamic clause and retracted it.
• NEW: improve absmi for coroutining.
• FIXED: bug in statistics(runtime,T).
• NEW: statics(walltime,T) and internal walltime() function
• FIXED: changed code that assumed dir_separator could only be a single character. Some MS-DOS systems accept both slash and backslash.
• FIXED: for compatibility with other Prologs, YAP now changes directory to the directory containing the file it is consulting. Don't need to create an init.yap any longer.
• NEW: getcwd/1.
• FIXED: disallow integer as argument to cd/1 and friends.
• FIXED: rand should depend on MAX_RAND; document srandom.
• NEW: environ now allows access to a process' environment.

Yap4.1.7:

• FIXED: bug in read_term/singletons. I incorrectly assumed variables were being allocated in order.
• FIXED: too much space was being allocated for 64 bit architectures.
• FIXED: error handling in data base could collapse.
• FIXED: ASP for growheap could be wrong.
• FIXED: growheap and growstack forgot about dangling pointers in the trail.
• FIXED: increase margins as garbage collections happens.
• FIXED: make recorded and friends restartable for the case there is no space left to copy the new term.
• FIXED: make memory allocation routine more generic, try to use temporary files when /dev/zero is not available, control whether we are fetching the right addresses, and close open mmaped stream.
• FIXED: make sure we always have an error handler in the debugger.
• FIXED: GC should now work with named dynamic arrays and array extensions. Access to named dynamic arrays now goes through the trail.
• FIXED: make arg/3 silently fail on negative or 0 first arguments. Breaks the ISO standard, but seems to be compatible with other Prologs.
• FIXED: dequeue could leave dangling pointers to the data-base.
• FIXED: bad error handling in arithmetic built-ins.
• FIXED: absolute_file_name/2 was buggy.
• NEW: extend C-interface to allow calling back Prolog.
• FIXED: moved to version 98.
• FIXED: variable ppc was causing trouble with Rhapsody.
• FIXED: GC should now work with coroutining.
• FIXED: coroutining had bug with reference chains.
• FIXED: error handler called unexisting procedure $close/2.
• FIXED: small bug in unknown/2.
• CLEANUP: improve meta-call performance by avoiding unnecessary choice-points.
• FIXED: assert and source mode are now aware that modules call meta-calls.
• FIXED: libraries should be checked for existence before checking for the files themselves.
• NEW: dynamic loader now works in Linux/Alpha and in Digital Unix/Alpha! Fixed bugs where YAP would corrupt global variables allocated by external functions.
• FIXED: BP_FREE didn't do callee save for PREG, possibly corrupting the caller. Core dumped print/1 on X86.
• CLEANUP: separate error handling into separate files.
• FIXED: RATIONAL_TREES should now work in all built-ins.
• FIXED: make sure the GC does not follow invalid trail entries.

Yap4.1.6:

• NEW: execute_goal(Goal) function allows calling Prolog from C. Still under testing, and not yet officially in the interface. Note that execute_goal will destroy all X arguments, and that it only keeps the first solution (it performs an implicit cut).
• FIXED: complaints while compiling YAP in WIN/NT platform.
• FIXED: debugger got confused when quasi-skipping through inline builtins
• FIXED: DEPTH_BOUND_CALL was not restoring depth for retry_c.
• NEW: compilation flag LOW_LEVEL_TRACER, if this flag is defined, enables detailing execution. Use start_low_level_trace and stop_level_trace, or T from interrupt to access this functionality.
• CLEANUP: overflows are now processed within the emulator, not back in the caller.
• FIXED: memory allocation during boot could crash returning NULL pointer, system would then crash.
• ISO-YAP: many new predicates, major rewrite of manual.
• FIXED: debugger should now understand better immediate update semantics (eg, dynamic predicates).
• ISO-YAP: all error handling is now ISO style.
• FIXED: could not write MIN_INT
• ISO-YAP: add Z is float_integer_part(X).
• ISO-YAP: add Z is float_fractional_part(X).
• ISO-YAP: arg/3 now generates errors.
• ISO-YAP: abolish/1 now does errors the YAP way, and only abolishes dynamic procedures. Use abolish/2 to clear static procedures.
• break boot.yap file into smaller files.
• YAP now compiles well under Linux/Alpha.
• X now is called XREGS to avoid problems with Linux/Alpha includes.
• Abort now jumps to before the absmi emulator and then does a long cut. This should simplify YapOr, and allow for restricting toplevels.

Yap4.1.5:

• FIXED: MAX_INT on Tags_LowTag was wrong.
• NEW: first cut of profiling. Right now, Currently, for static predicates, profiling disables indexing. That should be fixed in the next version.
• NEW: source mode debugging is active. Compile with ":- source" and debug/step through all your builtins!
• FIXED: major bug in cut_by, since early 4.1 :-(. Affects debugging.
• NEW: fetch first op from pred before jumping.
• NEW: use SREG to cache A1 for switches and tries.
• FIXED: warning messages for SGI CC.
• FIXED: warning messages for alphas.
• NEW: optimise switch_on_list for the list case.
• NEW: WAM registers optimised for MIPS.
• FIXED: shadow CP and HB on sparcs. They need every bit of performance we can get them.
• FIXED: famous curprio bug in parser, from now on parser backtracks cleanly.
• NEW: Got rid of SREG for call-type instructions.
• NEW: CPREG in absmi for Suns.
• CLEANUP: got rid of obsolete absmi regs.
• FIXED: small bug in the Prolog code for unknown/2.
• NEW: Small speed improvements for complex absmi instructions.

Yap4.1.4:

• NEW: read_term/3 and new syntax_error option to yap_flag.
• FIXED: got rid of fast predicates from compiler.
• NEW: Makefile now generates a bootable save state as YAP default.
• NEW: started working on manual for 4.1. Fixed info format so that it will generate info files. Add several missing built-ins to manual.
• NEW: bootable saved states with arguments, accessible though unix(argv(L))).
• NEW: optimised code for tests (var/1 and friends) and arithmetic (is/2).
• NEW: much faster code for /\, \/, >> and <<.
• FIXED: debugger does not go into recorded/3 and friends.

Yap4.1.3:

• NEW: unix(argv(X)).
• FIXED: abs complains if int != Int.

Yap4.1.2:

• NEW: saved states now search for $BINDIR/yap.exe to boot.
• FIXED: bugs with handling errors.
• FIXED: got rid of $recorded/3 for now.
• NEW: generate specialised code for OR, AND, SHIFT LEFT and SHIFT RIGHT.
• FIXED: statistics(runtime,_) now does not count GC time, as in other Prologs. statistics(cputime,_) counts everything.
• FIXED: time is returned as an integer, not as a float.

Yap4.1.1:

• CLEANUP: get rid of warnings under Cygnus GCC.
• FIXED: Use Windows memory allocation routine, now YAP can recover from saved states for smaller stacks.
• CLEANUP: don't use the UNIX define. Use instead configure to say exactly which UNIX feature you need.
• FIXED: compiler would not handle correctly unsafe variable from disjunctions.
• FIXED: force indexing to ask for more stack if stack runs out. This should help if you have really many clauses.
• CLEANUP: clean all error code from C to use the new Error() routine.
• NEW: use throw/1 to send system errors.
• NEW: catch/3 and throw/1
• NEW: load_foreign_file/3 for SunOS4 (tested) and AIX (compiles).

Yap4.1.0:

• NEW: memory mapped arrays.
• NEW: make garbage collector expand stack quickly to avoid excessive number of GCs.
• NEW: do the same for heap overflow detector.
• CLEANUP: cleanup readline code for not using strcpy, strlen and friends. Current code was broken for very large input strings.
• NEW: sort and friends implemented in C.
• NEW: Removed 256B limitation on atom size while parsing.
• CLEANUP: Change AllocCodeSpace to return NULL on code failure, make cclause() call growstack on stack failure.
• NEW: Static Arrays!
• Split previous support for arrays and co-routines. We now have TERM_EXTENSIONS to control extensions to unification. Tried to redesign the extensions so that they would be modular, the file TermExt.h.m4 shows how to implement an extension.
• Got rid of lock_pred and friends. Usage of static predicates is now detected when compilation starts, or when assert is used.
• Got rid of hash table in optimise_ce, it wasn't working.
• Current predicate access: add new argument to call, so that call can recognise which predicate it is working on. add extra argument to try and frieds, so that they can directly access a predicate.
• Internal cleanup Change cdmgr.c and friends so that we now move in a clause through the Clause structure. Get rid of ptrs, except for save.c.
• Changes to immediate update semantics implementation:
  • Entries are now removed from the chain immediately, instead of only when they are physically deleted.
  • Each entry has an age (positive if entry is from recordz, negative if from recorda).
  • When we backtrack to deleted entries, we search the property list for entries with younger ages.
  • When we erase a clause, we don't place a fail in the clause. Instead, we remove the clause from the chain immediately.
• NEW: MIPS architecture support in Regs.h and absmi.c.
• X86 Speedups:
  • Force opcode prefetching for simple instructions in X86
  • Cache Y for control instructions in X86
  • Optimise Bind() for X86 by jumping only if we need to trail for cases close to the end of the instruction. This does not seem to improve performance for X86 machines.
  • Cache SREG usage.
• Cleanup: Move AuxSp and AuxTop to REGS Use Aux for emulator PDL
• Cleanup: compiler.h Use enum for compiler ops.
• NEW: Indexing
  • simplify GC and ORP: instructions do not store intermediate values in global;
  • unnecessary instructions purged;
  • new try_tail like trail_head, but jumps to atomic code
  • switch on types insts after backtracking now look like retry and have correct clause information for ORP;
  • switch_on_type talks to switch_on_func through S, and to switch on cons through A[0]. I_R disappeared.