search

scallop-lang / scallop

Framework and Language for Neurosymbolic Programming.
https://www.scallop-lang.org
MIT License
208 stars 8 forks source link

= vs :- #2

Closed RAbraham closed 1 year ago

RAbraham commented 1 year ago

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?

RAbraham commented 1 year ago

The README says yes. Closing issue :)