Support comparisons in rule heads #6

New Issue

patrick · 2018-04-13T00:50:40+02:00

patrick commented

It would be desirable to support comparisons in rule heads such as in the following rule:

C1 = C2 :- color(V, C1), color(V, C2).

It would be desirable to support comparisons in rule heads such as in the following rule: C1 = C2 :- color(V, C1), color(V, C2).

patrick self-assigned this 2018-04-13 00:50:40 +02:00

patrick added the

label 2018-04-13 00:50:40 +02:00

patrick added this to the anthem 0.1.9 milestone 2018-04-22 13:32:49 +02:00

patrick modified the milestone from anthem 0.1.9 to anthem 0.2.0

2018-05-02 17:42:12 +02:00

patrick removed this from the anthem 0.2.0 milestone 2019-01-13 16:43:23 +01:00

Sign in to join this conversation.

No Label

No Milestone

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: patrick/anthem#6