From: <dw...@us...> - 2013-06-20 13:53:55
|
Revision: 7780 http://sourceforge.net/p/xsb/src/7780 Author: dwarren Date: 2013-06-20 13:53:53 +0000 (Thu, 20 Jun 2013) Log Message: ----------- Fixed bug in handling of asserting a fact with an explicit module modifier. (Problem was with confusion by inadvertently turning fact t(1) into t(1) :- true, where not expected) Modified Paths: -------------- trunk/XSB/syslib/assert.P trunk/XSB/syslib/assert.xwam |
From: <dw...@us...> - 2013-09-03 12:47:40
|
Revision: 7796 http://sourceforge.net/p/xsb/src/7796 Author: dwarren Date: 2013-09-03 12:47:38 +0000 (Tue, 03 Sep 2013) Log Message: ----------- Changed to remove spurious warning. Modified Paths: -------------- trunk/XSB/syslib/increval.P trunk/XSB/syslib/increval.xwam |
From: <dw...@us...> - 2013-09-03 12:52:23
|
Revision: 7797 http://sourceforge.net/p/xsb/src/7797 Author: dwarren Date: 2013-09-03 12:52:20 +0000 (Tue, 03 Sep 2013) Log Message: ----------- refactored and introduced useful subpredicate: psc_modname_filename/3, to get module name and file name for a given PSC addr, and exported it, for use elsewhere. Modified Paths: -------------- trunk/XSB/syslib/error_handler.H trunk/XSB/syslib/error_handler.P trunk/XSB/syslib/error_handler.xwam |
From: <ts...@us...> - 2013-09-11 19:44:52
|
Revision: 7804 http://sourceforge.net/p/xsb/src/7804 Author: tswift Date: 2013-09-11 19:44:51 +0000 (Wed, 11 Sep 2013) Log Message: ----------- Changes to allow forest logging at different levels. Modified Paths: -------------- trunk/XSB/syslib/basics.xwam trunk/XSB/syslib/curr_sym.P trunk/XSB/syslib/curr_sym.xwam |
From: <ts...@us...> - 2013-10-14 23:06:24
|
Revision: 7816 http://sourceforge.net/p/xsb/src/7816 Author: tswift Date: 2013-10-14 23:06:23 +0000 (Mon, 14 Oct 2013) Log Message: ----------- epoch_seconds/1. Modified Paths: -------------- trunk/XSB/syslib/machine.P trunk/XSB/syslib/machine.xwam |
From: <ts...@us...> - 2013-11-11 20:48:57
|
Revision: 7840 http://sourceforge.net/p/xsb/src/7840 Author: tswift Date: 2013-11-11 20:48:55 +0000 (Mon, 11 Nov 2013) Log Message: ----------- Fixed indexing and dynamic bugs in load_forest_log. Modified Paths: -------------- trunk/XSB/syslib/tables.P trunk/XSB/syslib/tables.xwam |
From: <dw...@us...> - 2013-11-22 16:55:40
|
Revision: 7845 http://sourceforge.net/p/xsb/src/7845 Author: dwarren Date: 2013-11-22 16:55:38 +0000 (Fri, 22 Nov 2013) Log Message: ----------- Add fail when initializing value for floundered_undefined/1 so it works for batched scheduling (by not generating a cut over an incompleted table.) Modified Paths: -------------- trunk/XSB/syslib/tables.P trunk/XSB/syslib/tables.xwam |
From: <ts...@us...> - 2013-12-12 22:57:55
|
Revision: 7855 http://sourceforge.net/p/xsb/src/7855 Author: tswift Date: 2013-12-12 22:57:52 +0000 (Thu, 12 Dec 2013) Log Message: ----------- Automatically loading xsbbrat (maybe should do from a different module?) Modified Paths: -------------- trunk/XSB/syslib/x_interp.P trunk/XSB/syslib/x_interp.xwam |
From: <ts...@us...> - 2013-12-24 19:47:35
|
Revision: 7864 http://sourceforge.net/p/xsb/src/7864 Author: tswift Date: 2013-12-24 19:47:31 +0000 (Tue, 24 Dec 2013) Log Message: ----------- Make sure brat is available when XSB is embedded in a process. Also got rid of debugging statement -- no idea how it persisted so long! Modified Paths: -------------- trunk/XSB/syslib/xcallxsb.P trunk/XSB/syslib/xcallxsb.xwam trunk/XSB/syslib/xsbbrat.P |
From: <ts...@us...> - 2014-01-01 21:49:48
|
Revision: 7868 http://sourceforge.net/p/xsb/src/7868 Author: tswift Date: 2014-01-01 21:49:45 +0000 (Wed, 01 Jan 2014) Log Message: ----------- Fixes to ensure that various undefineds are always loaded, and regularized how they are loaded. This fixes a problem encountered by Flora, and some refactoring makes it easier to add new types of undefineds. Modified Paths: -------------- trunk/XSB/syslib/curr_sym.H trunk/XSB/syslib/curr_sym.P trunk/XSB/syslib/curr_sym.xwam trunk/XSB/syslib/sysinitrc.P trunk/XSB/syslib/sysinitrc.xwam trunk/XSB/syslib/tables.P trunk/XSB/syslib/tables.xwam trunk/XSB/syslib/x_interp.P trunk/XSB/syslib/x_interp.xwam trunk/XSB/syslib/xsbbrat.P trunk/XSB/syslib/xsbbrat.xwam |
From: <dw...@us...> - 2014-01-23 14:38:17
|
Revision: 7875 http://sourceforge.net/p/xsb/src/7875 Author: dwarren Date: 2014-01-23 14:38:13 +0000 (Thu, 23 Jan 2014) Log Message: ----------- Fixed assert to correctly transform clause like execute(X) :- X. and add the call wrapper correctly. Modified Paths: -------------- trunk/XSB/syslib/assert.H trunk/XSB/syslib/assert.P trunk/XSB/syslib/assert.xwam |
From: <dw...@us...> - 2014-01-24 14:09:59
|
Revision: 7876 http://sourceforge.net/p/xsb/src/7876 Author: dwarren Date: 2014-01-24 14:09:57 +0000 (Fri, 24 Jan 2014) Log Message: ----------- Fixed bug in loading rule: execute(X) :- X. (needed to handle variable before calling goal_cut_trans.) Modified Paths: -------------- trunk/XSB/syslib/consult.P trunk/XSB/syslib/consult.xwam |
From: <ts...@us...> - 2014-01-26 22:57:46
|
Revision: 7879 http://sourceforge.net/p/xsb/src/7879 Author: tswift Date: 2014-01-26 22:57:42 +0000 (Sun, 26 Jan 2014) Log Message: ----------- Integrating in Neng-fa's changes. In particular, I created various gets and puts using his code. Modified Paths: -------------- trunk/XSB/syslib/file_io.H trunk/XSB/syslib/file_io.P trunk/XSB/syslib/file_io.xwam trunk/XSB/syslib/standard.H trunk/XSB/syslib/standard.P trunk/XSB/syslib/standard.xwam trunk/XSB/syslib/std_xsb.P trunk/XSB/syslib/std_xsb.xwam |
From: <dw...@us...> - 2014-01-31 14:32:02
|
Revision: 7891 http://sourceforge.net/p/xsb/src/7891 Author: dwarren Date: 2014-01-31 14:31:59 +0000 (Fri, 31 Jan 2014) Log Message: ----------- Added module_of_term/2. (Suggested by Peter Ludemann) Modified Paths: -------------- trunk/XSB/syslib/machine.H trunk/XSB/syslib/machine.P |
From: <ts...@us...> - 2014-02-02 20:53:04
|
Revision: 7894 http://sourceforge.net/p/xsb/src/7894 Author: tswift Date: 2014-02-02 20:53:02 +0000 (Sun, 02 Feb 2014) Log Message: ----------- Updates for UTF-8 based I/O Modified Paths: -------------- trunk/XSB/syslib/file_io.H trunk/XSB/syslib/file_io.P trunk/XSB/syslib/file_io.xwam trunk/XSB/syslib/standard.H trunk/XSB/syslib/standard.P trunk/XSB/syslib/standard.xwam trunk/XSB/syslib/std_xsb.P trunk/XSB/syslib/std_xsb.xwam |
From: <ki...@us...> - 2014-02-02 22:36:58
|
Revision: 7897 http://sourceforge.net/p/xsb/src/7897 Author: kifer Date: 2014-02-02 22:36:54 +0000 (Sun, 02 Feb 2014) Log Message: ----------- Made atom_length accept bound arg 2 Modified Paths: -------------- trunk/XSB/syslib/machine.xwam trunk/XSB/syslib/standard.P trunk/XSB/syslib/standard.xwam |
From: <ts...@us...> - 2014-02-02 23:41:49
|
Revision: 7898 http://sourceforge.net/p/xsb/src/7898 Author: tswift Date: 2014-02-02 23:41:45 +0000 (Sun, 02 Feb 2014) Log Message: ----------- Made peek_char/[1,2] steadfast. Modified Paths: -------------- trunk/XSB/syslib/file_io.P trunk/XSB/syslib/file_io.xwam |
From: <ts...@us...> - 2014-02-23 21:59:04
|
Revision: 7913 http://sourceforge.net/p/xsb/src/7913 Author: tswift Date: 2014-02-23 21:59:03 +0000 (Sun, 23 Feb 2014) Log Message: ----------- Update for character_set flag. Modified Paths: -------------- trunk/XSB/syslib/curr_sym.P trunk/XSB/syslib/curr_sym.xwam |
From: <dw...@us...> - 2014-02-28 13:43:31
|
Revision: 7920 http://sourceforge.net/p/xsb/src/7920 Author: dwarren Date: 2014-02-28 13:43:29 +0000 (Fri, 28 Feb 2014) Log Message: ----------- Allow user to change the "Connect" predicate to something other than 'C'/3. Needed to handle subtleties with mixed use of word/3 representation. (Proposed and implemented by Miguel Calejo.) Modified Paths: -------------- trunk/XSB/syslib/dcg.H trunk/XSB/syslib/dcg.P trunk/XSB/syslib/dcg.xwam |
From: <dw...@us...> - 2014-03-07 15:14:53
|
Revision: 7926 http://sourceforge.net/p/xsb/src/7926 Author: dwarren Date: 2014-03-07 15:14:50 +0000 (Fri, 07 Mar 2014) Log Message: ----------- Added ability to throw the position of a sytax error in the error-ball. (by Miguel Calejo) Modified Paths: -------------- trunk/XSB/syslib/xsb_read.H trunk/XSB/syslib/xsb_read.P trunk/XSB/syslib/xsb_read.xwam |
From: <dw...@us...> - 2014-03-07 20:39:56
|
Revision: 7927 http://sourceforge.net/p/xsb/src/7927 Author: dwarren Date: 2014-03-07 20:39:54 +0000 (Fri, 07 Mar 2014) Log Message: ----------- Fixed bug in path get ancestor. (On unix have to stop if get to '/'). Modified Paths: -------------- trunk/XSB/syslib/file_io.P trunk/XSB/syslib/file_io.xwam |
From: <dw...@us...> - 2014-03-10 12:46:44
|
Revision: 7928 http://sourceforge.net/p/xsb/src/7928 Author: dwarren Date: 2014-03-10 12:46:42 +0000 (Mon, 10 Mar 2014) Log Message: ----------- Add stat_flag and set_stat_flag clauses for erros_with_position flag (Miguel) Modified Paths: -------------- trunk/XSB/syslib/curr_sym.P trunk/XSB/syslib/curr_sym.xwam |
From: <dw...@us...> - 2014-03-19 12:50:28
|
Revision: 7933 http://sourceforge.net/p/xsb/src/7933 Author: dwarren Date: 2014-03-19 12:50:23 +0000 (Wed, 19 Mar 2014) Log Message: ----------- Several changes, some very minor. Having to do with expanded character_set options. Modified Paths: -------------- trunk/XSB/syslib/curr_sym.P trunk/XSB/syslib/curr_sym.xwam trunk/XSB/syslib/dcg.xwam trunk/XSB/syslib/error_handler.P trunk/XSB/syslib/error_handler.xwam trunk/XSB/syslib/thread.H trunk/XSB/syslib/thread.P trunk/XSB/syslib/thread.xwam |
From: <dw...@us...> - 2014-03-24 21:04:36
|
Revision: 7939 http://sourceforge.net/p/xsb/src/7939 Author: dwarren Date: 2014-03-24 21:04:33 +0000 (Mon, 24 Mar 2014) Log Message: ----------- Update xwams that changed due to a change in the compiler (to better handle 0-ary predicates in modules.) Modified Paths: -------------- trunk/XSB/syslib/debugger.xwam trunk/XSB/syslib/standard.xwam trunk/XSB/syslib/tables.xwam trunk/XSB/syslib/thread.xwam trunk/XSB/syslib/xsbbrat.xwam |
From: <dw...@us...> - 2014-04-01 14:39:13
|
Revision: 7943 http://sourceforge.net/p/xsb/src/7943 Author: dwarren Date: 2014-04-01 14:39:11 +0000 (Tue, 01 Apr 2014) Log Message: ----------- Fixed path_sysop(cwd_ancestordir,..) to always return directory with trailing slash. Modified Paths: -------------- trunk/XSB/syslib/file_io.H trunk/XSB/syslib/file_io.P trunk/XSB/syslib/file_io.xwam |