Mercurial > hg > Applications > Tokio
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