v11.11.3

using library(apply)

v11.11.2

fixing arvol inference fuse

v11.11.1

refactoring eye arvol machine

v11.11.0

adding --arvol switch to support webized prolog

v11.10.0

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

v11.9.14

fixing issue https://github.com/eyereasoner/eye/issues/141#issuecomme…

v11.9.13

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

v11.9.12

using log:program and log:programTerm to support logic programming ap…

v11.9.11

using log:program instead of log:core

v11.9.10

using log:core instead of log:herbrand