diff options
| author | elioat <{ID}+{username}@users.noreply.github.com> | 2024-07-16 13:56:46 -0400 |
|---|---|---|
| committer | elioat <{ID}+{username}@users.noreply.github.com> | 2024-07-16 13:56:46 -0400 |
| commit | 999ec94e90772456f487dbc858e950884ec01c65 (patch) | |
| tree | 7a9e5fe574d2ace2af512c4be799ef036557ee3f /picat/sys.pi | |
| parent | 7f6cf2f2babb28498ad0dcbdda1812fc720c84da (diff) | |
| download | tour-999ec94e90772456f487dbc858e950884ec01c65.tar.gz | |
*
Diffstat (limited to 'picat/sys.pi')
| -rw-r--r-- | picat/sys.pi | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/picat/sys.pi b/picat/sys.pi new file mode 100644 index 0000000..a336094 --- /dev/null +++ b/picat/sys.pi @@ -0,0 +1,35 @@ +module sys. % imported by default + +abort => abort. +cl(File) => cl(File). +cl_facts(Facts) => cl_facts(Facts,[]). +cl_facts(Facts, IndexInfo) => cl_facts(Facts,IndexInfo). +cl_facts_table(Facts) => cl_facts_table(Facts,[]). +cl_facts_table(Facts, IndexInfo) => cl_facts_table(Facts,IndexInfo). +command(String) = command(String). +compile(File) => compile(File). +compile_bp(File) => compile_bp(File). +compile_files_to_c(Fs, CFile) => compile_files_to_c(Fs,CFile). +debug => debug. +exit => halt. +garbage_collect => garbage_collect. +garbage_collect(Size) => garbage_collect(Size). +halt => halt. +help => help. +initialize_table => initialize_table. +load(File) => load(File). +loaded_modules() = loaded_modules(). +nodebug => nodebug. +nolog => nolog. +nospy => nospy. +notrace => notrace. +picat_path() = picat_path(). +spy(Point) => spy(Point). +statistics => statistics. +statistics(Name, Val) => statistics(Name,Val). +statistics_all() = statistics_all(). +time(Goal) => throw($meta_meta_call_not_allowed(time(Goal))). +time2(Goal) => throw($meta_meta_call_not_allowed(time2(Goal))). +time_out(Goal,Limit, Res) => throw($meta_meta_call_not_allowed(time_out(Goal,Limit,Res))). +trace => trace. + |