= vs :-
RAbraham opened this issue · comments
Hi,
At 'https://scallop-lang.github.io/tutorial.html', I see two different syntax for rules
first is :-:
self.scl_ctx.add_rule("sum_2(a + b) :- digit_1(a), digit_2(b)")and =:
ctx.add_rule("sum_2(a + b) = digit_1(a), digit_2(b)")Are they semantically the same? Can they be used interchangeably?
The README says yes. Closing issue :)