webinterface/src/util/prolog/builtInPredicates.ts at c903679a419c2829163bfcee2b642b20e4476ee6 · diproche/webinterface · GitHub

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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
	/**
  * List of built in predicates from tau-prolog. Doesn't contain library predicates.
  * @see {@link http://tau-prolog.org/documentation}
  */
const tauPrologBuiltInPredicates: Set<string> = new Set(
	[
	"call",
	"catch",
	"fail",
	"false",
	"throw",
	"true",
	"subsumes_term",
	"unify_with_occurs_check",
	"abolish",
	"assert",
	"assertz",
	"retract",
	"retractall",
	"clause",
	"current_predicate",
	"arg",
	"copy_term",
	"functor",
	"term_variables",
	"acyclic_term",
	"atom",
	"atomic",
	"callable",
	"compound",
	"float",
	"ground",
	"integer",
	"is_list",
	"nonvar",
	"number",
	"var",
	"once",
	"repeat",
	"atomic_list_concat",
	"atom_chars",
	"atom_codes",
	"atom_concate",
	"atom_length",
	"char_code",
	"downcase_atom",
	"number_chars",
	"number_codes",
	"sub_atom",
	"upcase_atom",
	"bagof",
	"findall",
	"setof",
	"between",
	"is",
	"succ",
	"current_prolog_flag",
	"halt",
	"set_prolog_flag",
	"current_op",
	"op",
	"at_end_of_stream",
	"close",
	"current_input",
	"current_output",
	"flush_output",
	"open",
	"set_input",
	"set_output",
	"set_stream_position",
	"stream_property",
	"get_char",
	"get_code",
	"nl",
	"peek_char",
	"peek_code",
	"put_char",
	"put_code",
	"get_byte",
	"peek_byte",
	"put_byte",
	"read",
	"read_term",
	"write",
	"writeq",
	"write_canonical",
	"write_term",
	"use_module",
	"module"]);

export default tauPrologBuiltInPredicates;