Missing implementation for `imported_from` key of `predicate_property/2`

mthom / scryer-prolog

A modern Prolog implementation written mostly in Rust.

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

2.01k stars 117 forks source link

Missing implementation for `imported_from` key of `predicate_property/2` #2443

Open hurufu opened 2 months ago

hurufu commented 2 months ago

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.