LogicFactory.createRule() takes list of prerequisites as
first argument and rule head as second. This order is
opposite to Prolog order:
head(Argument) :- prerequisite1(Argument), prerequisite2
(Argument).
Please provide methods with 'Prolog-ish' argument order