1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Entails can't handle multiple symbols with the same name and different arities

Issue #867 new
Ingmar Dasseville created an issue

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=8354e5d06ba9b698adfa

Comments (1)

  1. Bart Bogaerts

    Overloading probably should be handled similar to how it is done in xsb and in bootstrapping: by adding unique postfix to symbols...

  2. Log in to comment
Assignee
–
Type
bug
Priority
major
Status
new
Component
–
Version
–
Votes
0
Watchers
2
Jira: the preferred issue tracker for Bitbucket. Join the team!