Flow analysis problem
Posted: 10 Mar 2016 21:08
Hello Thomas,
please check the below construction. It compiles and output some number (in VIP 7502).
Many regards
Martin
please check the below construction. It compiles and output some number (in VIP 7502).
Many regards
Martin
Code: Select all
domains
t = t(unsigned).
class predicates
u : (t, t) procedure (t(o), t(o)).
clauses
u(X, Y) :-
X = Y.
clauses
run() :-
u(t(A), t(A)),
stdIo::write(A).