Handle predicates with the same name but different arity #37

New Issue

patrick · 2019-01-30T21:17:04+01:00

patrick commented

2019-01-30 21:17:04 +01:00

In ASP, there may exist multiple predicate symbols with the same name but different arity. This is a problem, because TPTP most likely doesn’t support this.

A quick workaround would be to replace the predicate names with consecutive numbers for each unique predicate symbol.

In ASP, there may exist multiple predicate symbols with the same name but different arity. This is a problem, because TPTP most likely doesn’t support this. A quick workaround would be to replace the predicate names with consecutive numbers for each unique predicate symbol.

patrick added this to the anthem 0.2.0 milestone 2019-01-30 21:17:04 +01:00

patrick self-assigned this 2019-01-30 21:17:04 +01:00

patrick added the

bug

label 2019-01-30 21:17:04 +01:00

Sign in to join this conversation.