search

SWI-Prolog / packages-pengines

Pengines: Prolog engines
11 stars 13 forks source link

Declaring (a somewhat weakened version of) listing/0 safe? #14

Closed torbjornlager closed 9 years ago

torbjornlager commented 9 years ago

Or perhaps a predicate pengine_listing/1 should be supported, binding a variable to the listing in the form a string.

Intuitively is seems reasonable that a master pengine should be able to ask its slave pengine the question "what do you know?"

Whats should be returned? The private clauses of the pengine? The clauses in the application module? Both? More?

JanWielemaker commented 9 years ago

I'd leave that to the application. It is easy enough to write (e.g., SWISH can do it). Listing the private module is generally meaningless as you put the stuff there in the first place. Listing anything else may breach privacy (dynamic data held in application module) or at least security-by-obscurity.

torbjornlager commented 9 years ago

Ok, sounds good.