v11.13.4

further fixing output of functional terms

v11.13.3

fixing output of functional terms

v11.13.2

using log:pro instead of log:program

v11.13.1

fixing functional terms

v11.13.0

reintroducing (| functor args |) functional terms

v11.12.12

adding switch --no-call-residue-vars (no check for residue vars for f…

v11.12.11

fixing issue https://github.com/eyereasoner/eye/issues/145

v11.12.10

fixing default quantify uri prefix

v11.12.9

adding default quantify uri prefix

v11.12.8

fixing nexus and run ldes example