Missing implementation for imported_from key of predicate_property/2

[hurufu]

Scryer is missing imported_from key which is needed to maintain compatibility with SICStus Prolog
which recently became apparent in #2433 and was first requested in #977.

Unfortunately I can't assess how much is it needed and if it blocks any important feature.

[rotu]

I'd like to be able to understand what's going on at the prompt, so fleshing out predicate_property would be very useful!

For instance, swipl gives:

?- predicate_property(integer(_),P).
P = visible ;
P = built_in ;
P = foreign ;
P = static ;
P = imported_from(system) ;
P = nodebug ;
P = iso ;
P = defined ;
P = size(136).

Whereas scryer gives:

?- predicate_property(integer(_),P).
   P = built_in
;  false.

At the very least, the properties imported_from(...) and static are required.