diff mall @ 0:cfb7c6b24319

Initial revision
author kono
date Thu, 30 Aug 2007 14:57:44 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mall	Thu Aug 30 14:57:44 2007 +0900
@@ -0,0 +1,50 @@
+/*
+ Copyright (C) 1988, Shinji Kono 
+ Everyone is permitted to copy and distribute verbatim copies
+ of this license, but changing it is not allowed.  You can also
+ use this wording to make the terms for other programs.
+
+ send your comments to kono@csl.sony.co.jp
+*/
+
+:-module(tokio,[
+   com/1,		% compile & compile program.    
+   com/2,		% compile & counsult & save file.    
+   pcom/2,		% compile specified predicates.    
+   pcom/3,		% compile specified predicates.    
+   mcom/1,		%  preprocess 
+   mcom/2,		% preprocess & outputfile.
+   static/1, 		% static variable declaration
+   restart/1,		% run tokio save file.    
+   tokiodebug/0,	% All computation will be traced.    
+   tokionodebug/0,	% Debug mode is switched off.    
+   tokiodebugging/0,	% Display some informations about tracing.    
+   notimebacktrack/0,	% no time backtrack.. 
+   timebacktrack/0,	% time backtrack.. 
+   tokio/0,		% start tokio top-level. 
+   tokio/1, 		% run tokio program. 
+   tokio_help/0,	% help
+   user_help/0,		% help
+   reset_macro/1	% Reset Macro Definition. com predicates also reset Macros.
+]).
+
+?- ['ts'],
+   ensure_loaded('to'),
+   ensure_loaded('tc'),
+   ensure_loaded('th'),
+   ensure_loaded('td'),
+   ensure_loaded('te'),
+   ensure_loaded('tg'),
+   ensure_loaded('tr'),
+   ensure_loaded('tu'),
+   ensure_loaded('tf'),
+   ensure_loaded('xf'),
+   ensure_loaded('cp'),
+   ensure_loaded('tp').
+
+% :-prolog_flag(single_var_warnings, _, off),
+%   prolog_flag(compiling,_,compactcode).
+
+:-com('tm.pl',user).
+
+% end