#263 predicate_property/2

[Felix Weitkämper]

Just noting strange behaviour of predicate_property/2:
predicate_property(a(),built_in) leads to a crash dump, as does predicate_property(a(),P).
Applied to the predicate a written in the atom form as 'a' predicate_property works as expected.
In my application context, a() has been obtained as a body from clause/2, which returns nullary predicates in this form.

[David S. Warren]

Thanks for letting us know. It was in an internal C function, make_ground, which is called by excess_vars, which is called by setof, which is called by predicate_property. It didn't handle the arity=0 case. I've fixed it and will commit it after running the testsuite.
Thanks!

[Felix Weitkämper]

Thank you very much for the quick fix!
Unfortunately, the current snapshot doesn't compile for me as the configure script terminates with
the error
config.status: error: cannot find input file: /home/weitkaemper/XSB/XSB/packages/janus/configvars.in
before creating makexsb.
The snapshot after David Warren's last commit (cf 6005) compiles perfectly well.

[Felix Weitkämper]

Both compiling and predicate_property/2 work again beautifully, thank you both!