The XSB manual (as far as I can tell) does not give the syntax for
I can make some guesses by looking at the sources but it would be nice to
have a proper definition ... for example, does it follow the same syntax as
I'm guessing that it doesn't because I see things like
:- meta_predicate(list(?, pred(1))).
Also, I tried this:
:- export must_once/1.
:- meta_predicate must_once(:).
?- setof(P, X^predicate_property(must_once(X), P), L).
L = [exported,loaded]
which seems to imply that the meta_predicate directive didn't have any
effect, compared with:
?- setof(P, X^Y^Z^predicate_property(bagof(X,Y,Z), P), L).
L = [built_in,exported,loaded,(meta_predicate * ',' 0 ',' *)]