Handle explicitly defined predicates declared as #external #10

New Issue

patrick · 2018-04-13T14:20:24+02:00

patrick commented

2018-04-13 14:20:24 +02:00

It’s not yet clear to me how to handle programs such as:

#external edge(2).

edge(V1, V2) :- edge(V2, V1).

On the one side, edge/2 is declared #external, removing it from the completed output. However, there is a rule concerning edge/2 that is now missing from the output.

It’s not yet clear to me how to handle programs such as: #external edge(2). edge(V1, V2) :- edge(V2, V1). On the one side, `edge/2` is declared `#external`, removing it from the completed output. However, there is a rule concerning `edge/2` that is now missing from the output.

patrick self-assigned this 2018-04-13 14:20:24 +02:00

patrick added the

discussion

bug

labels 2018-04-13 14:20:24 +02:00

patrick added this to the anthem 0.2.0 milestone 2018-04-23 00:23:19 +02:00

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

Sign in to join this conversation.