Typing too strict

[Broes De Cat]

When trying to integrate the visualisation as an theory in FO(.), some interesting observations: - we miss string operations to really mimic what we model using clingo. Implementing append through lua is also not a solution as this cannot be combined with XSB. - we don't have any kind of type conversions. int->string / string->int would, e.g., be very useful.

[Bart Bogaerts]

What kind of string operations do we use in clingo?

isn't int a subtype of string?

[Broes De Cat]

The implementation is

float -> int -> nat

char -> string