clause(F,true) cannot retrieve facts

[UWN]

?- asserta(a), clause(a,true).

no, unexpected.
   true. % expected, but not found

15 other systems are able to do so

[jfmc]

Thanks Ulrich. Just to comment on progress, we are working on fixing it. Right now it works with dynamic_clauses package (not loaded by default, which we know is not ISO compliant):

?- use_package(dynamic_clauses).

yes
?- asserta(a).

yes
?- clause(a, true).

yes
?-