v11.2.5

adding proof steps for inference fuse

v11.2.4

adding proof step for query

v11.2.3

improving output for --logic-program

v11.2.2

using :+ instead of := for bottom-up reasoning

v11.2.1

fixing --logic-program <pl-file> option

v11.2.0

adding --logic-program <pl-file> option

v11.1.4

using log:explains instead of log:proves

v11.1.3

using --explain instead of --ether

v11.1.2

replacing list:quicksort with (list ordering) list:sort sortedList wh…

v11.1.1

adding list:quicksort built-in which is not removing duplicates