Closed lordpretzel closed 2 years ago
When creating a capture rule, comparison predicates are ignored
Q(X) :- R(X,Y), X < 5.
The =X < 5= will be ignored
When creating a capture rule, comparison predicates are ignored
The =X < 5= will be ignored