view mall @ 4:f864bb4ba9a4 default tip

update tags
author convert-repo
date Fri, 07 Nov 2008 20:36:52 +0000
parents cfb7c6b24319
children
line wrap: on
line source

/*
 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