namespace binding computation is incomplete #346
Description
testcase
namespace n { pred p. p. }.
namespace n { pred q. q :- p }.
main :- n.q.
the symbols defined in the name spaces are sometimes dropped
{{ message }}
testcase
namespace n { pred p. p. }.
namespace n { pred q. q :- p }.
main :- n.q.
the symbols defined in the name spaces are sometimes dropped