42204357ecFix c-stack overflow for very deep nested terms.
vsc
2001-06-27 12:46:35 +00:00
4bffd2262afixes the HP cc MkIntegerTerm bug and brings the code inline with the C-Interface documentation
stasinos
2001-06-26 09:40:34 +00:00
4c75fbc022don't need to throw catch.
vsc
2001-06-22 20:26:55 +00:00
bf661fcdd6get rid of has_tabling
vsc
2001-06-22 19:50:26 +00:00
b4a30d2cd4extra improvements in configure scripts
vsc
2001-06-22 19:44:26 +00:00
04fc8d24b4get the libraries right for mingw32/cygwin.
vsc
2001-06-22 18:11:45 +00:00
f22f7434c7fixes to?\012handle interrupts ^C in Windows. Improvements to configure scripts for WIN32 configurations. --with-readline= option for configure
vsc
2001-06-22 17:53:36 +00:00
c3e7f600d5Yap would get order of variables in terms wrong.
vsc
2001-06-19 17:51:07 +00:00
157bce4a13fix duplicated title (Paulo Moura) fix info on term ordering to respect ISO standard.
vsc
2001-06-19 17:47:45 +00:00
5a39daa400In ISO term order, floats are always less than integers.
vsc
2001-06-19 17:34:27 +00:00
7d50fd267dparser should parse +inf,-inf,+nan,-nan as floating point numbers write should write inf as +inf and nan as +nan
vsc
2001-06-19 16:31:59 +00:00
54e9dc271dfix == at top-level
vsc
2001-06-18 18:33:20 +00:00
792d836ee6cleanup error messages in functor/3
vsc
2001-06-18 18:31:19 +00:00
e56a11ce3cfix debugging messages and bad comparison
vsc
2001-06-18 18:23:14 +00:00
c6e0d82d0bfixed inconsistency between between the two declarations of TracePutchar()
stasinos
2001-06-13 17:52:33 +00:00
93f9f77df8fix a declaration-definition inconsistency in YapCloseAllOpenStreams() and an unreachable code bug in YapOpenStream()
stasinos
2001-06-13 17:18:38 +00:00
c9c8aeb3ccImprove readline code: don't flush if we change output stream; use readline from interrupt handler.
vsc
2001-06-12 17:25:28 +00:00
474be299f4always send debugging messages to stderr.
vsc
2001-06-12 16:31:09 +00:00
db42697120bug in abolish
vsc
2001-06-12 16:15:58 +00:00
8148b93679a few typos corrected
stasinos
2001-06-12 14:07:59 +00:00
c0ef937614fix datime/1, system/2 and declaration for p_stream.
vsc
2001-05-22 20:41:52 +00:00
59fdfadfa9new $stream(T) checks if a term is a stream, so that I don't have an excuse to call current_stream(_,_,S) with S something not a stream.
vsc
2001-05-22 16:14:30 +00:00
8dcee4415blibrary(system) plus several new support builtins much improved garbage collector improvements to compiler yaptab compiles again
vsc
2001-05-21 20:00:05 +00:00
e5498326b2initial version
pmoura
2001-05-21 18:39:55 +00:00
e1c4793105Initial version
pmoura
2001-05-21 18:32:31 +00:00
3cde0b23bbfixes to compilation of functor and ASP calculation for gc.
vsc
2001-05-08 20:39:01 +00:00
bac5432950garbage collecting fixes compile trues at the end of body fix call_residue/2 so that constraints cannot escape (yet again).
vsc
2001-05-07 19:56:02 +00:00