% WAM-lite reflective predicates (dynamic/current_predicate) smoke tests.

:- catch(set_prolog_flag(flowlog_engine, wam), _, true).

p(a).
q(a, b).

ok :-
    dynamic(foo/1),
    current_predicate(foo/1),
    current_predicate(p/1),
    current_predicate(q/2),
    current_predicate(/(Name, 1)),
    Name == p,
    !.