project to empty residual goals so that call_residue_vars/2 works
ENHANCED: library(sandbox): Allow b_setval/2 and b_getval/2 when the first argument is instantiated.
ENHANCED: wait_for_input/3 is now left undefined if the underlying OS
primitive (select()) does not exist.
ADDED: Spending() to query for buffered data on streams that act as an
input filter on another stream.
FIXED: Use Spending() for wait_for_input/3
Updated clib and http to exploit new Spending interface
ENHANCED: use DWARF debugging symbols to produce stacktraces on Windows
Install libdwarf.dll
ENHANCED: Halt Prolog and allow for immediate termination of the console window on SIGABRT
Only install libdwarf if we have it.
Tell user what to do after a crash
comment on global variables
ADDED: CLP(B): sat_count/2, counting the number of true assignments.
correct sat_count/2 for tautologies
generalize correction to other cases like sat_count((X+ ~X) * Y, N).
Updated xpce
reword documentation to account for sat_count/2
document unification of CLP(B) variables
use toplevel terminology
lowercase