Error: Mismatching arity of relation A (expected 3, got 1) in file fact_arity.dl at line 13
A("1").
^-------
Error: Mismatching arity of relation A (expected 3, got 2) in file fact_arity.dl at line 14
A("2","3").
^-----------
Error: Mismatching arity of relation B (expected 1, got 2) in file fact_arity.dl at line 18
B("3","4").
^-----------
Error: Mismatching arity of relation B (expected 1, got 3) in file fact_arity.dl at line 19
B("3","4","3").
^---------------
4 errors generated, evaluation aborted
