prolog

Currently, we have:

?- X is 0.1.
   X = 0.1.

which is conforming. However, 0.1 cannot be represented exactly as a floating point number.

It would therefore be useful to have a predicate that lets us inspect a floating point number in such a way that we can see what it "actually" is. For example, it would be useful to see the floating point number expressed as a

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

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