1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
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.
|