Code: Select all
implement main
class facts - db
type_def : (integer, string, integer, string, integer, string, integer, integer, integer).
op_def : (integer, string, string, integer, integer, integer, integer).
hierarchy_part : (integer, string, integer, string, integer, integer, integer).
data_stmt : (string, string, integer, integer, string, ii).
local_object : (lo).
prog_stmt : (string, integer, integer, integer, integer, integer, integer, integer).
special_op : (string, integer, string, integer, integer, integer, string, integer, integer, integer).
special_dt : (string, integer, string, integer, string, string, ii).
state_node : (sn).
source_is_normal_dt : (string, integer, integer).
last_change_op_number : (string, integer, integer).
change_op_number : (string, integer, integer).
joint_stmt : (string, integer, integer, integer, integer, integer).
cessor : (string, integer, integer).
cessor_kind : (string, string, integer, integer, string, string, integer*).
guard_cond : (string, integer, integer, string).
guard_pair : (string, integer, integer, string).
op_guards : (string, integer, integer*, integer*).
predecessors : (string, integer, integer*).
rec_stmt : (string, integer, integer*).
var_guards : (string, integer, integer*, integer*).
domains
ii =
i(integer);
sym(string);
bit_wire(string).
lo = local_object(string, integer, string, string, integer, string, string, integer, ii).
sn = state_node(string, integer, cc).
cc =
dataflow(integer*, integer);
ifthen(integer*, integer*, integer*, integer, integer);
jump(integer*, integer).
clauses
run() :-
file::consult(@"..\ITF_FACT.DBA", db).
end implement main
goal
console::runUtf8(main::run).