Comment by larodi

Why not use PROLOG then, is the essence of cause and effect in programming. And also can expound syllogisms.