From 999ec94e90772456f487dbc858e950884ec01c65 Mon Sep 17 00:00:00 2001
From: elioat <{ID}+{username}@users.noreply.github.com>
Date: Tue, 16 Jul 2024 13:56:46 -0400
Subject: *

---
 picat/sys.pi | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 picat/sys.pi

(limited to 'picat/sys.pi')

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.
+
-- 
cgit 1.4.1-2-gfad0