Predicate property static missing

mthom / scryer-prolog

A modern Prolog implementation written mostly in Rust.

BSD 3-Clause "New" or "Revised" License

2.08k stars 125 forks source link

Closed Jean-Luc-Picard-2021 closed 2 years ago

Jean-Luc-Picard-2021 commented 2 years ago

I find in the ISO module standard 13211-2 the predicate property:

static – The procedure is static.

Seems that Scryer Prolog doesn't return the same:

?- current_predicate(F/N), functor(P,F,N), predicate_property(P,static).
false.

On the other hand SWI-Prolog and Tau-Prolog implements the property:

?- predicate_property(predicate_property(_,_), static).
true.

stefan-kral commented 1 year ago

Please reopen this issue. It still persists...