advancedresearch/avalog

Allow `amb` in rules

bvssvni opened this issue · 0 comments

Sometimes it is useful to have rules which proves ambiguity, for example:

amb :- (false, true).
amb :- (true, false).