v11.4.7

adding --analytic-proof switch to have proofs that contain component …

v11.4.6

further fixing issue https://github.com/eyereasoner/lib-owl/issues/1

v11.4.5

fixing issue https://github.com/eyereasoner/lib-owl/issues/1

v11.4.4

adding list:permutation built-in

v11.4.3

investigating alternative proofs

v11.4.2

fixing within_scope(Context, -1) which should be used in backward rules

v11.4.1

improving --explain

v11.4.0

dropping --plus and using --n3p instead

v11.3.0

introducing eye --plus <pl-file> to run prolog with bottom-up steps

v11.2.11

fixing --plato