prolog

It would be great to do a somewhat rigorous analysis of whether there are performance issues when query is written in Logica vs SQL.

As noted in the recent discussion #974, library(reif) as included in Scryer Prolog does not yet implement the goal expansion that the version for SICStus Prolog already implements. The SICStus version of library(reif) is available from:

http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/sicstus/reif.pl

In case anyone is interested in porting the goal expansion mechanism, this would be

Hi there,

Thanks for this amazing module.

I think there is a problem with the way terms are printed.
I run some Prolog code from Python, querying Prolog with:

H = pyswip.Variable()
induce = pyswip.Functor('induce', 1)
q = Query(induce(H))
q.nextSolution()
print(H.value)

I get a result like this for H:

[Functor(319757,2,
 [Functor(9048461,3,_10560234,_10560236,_1056023