XSB (probably) does not like strings

[JoD]

When trying to speed up Benchie using XSB, I encountered the following bug: ++Error[XSB]: [Runtime/C] READ_CAN_ERROR: illegal format. Next tokens: / export / home1 / NoCsBack / dtai / jodv / workspacex95xjava / Benchie / xsbx95xspeedtest2 / x46x / results / XSB / hamiltonianx95xpath / instances , idpxsb20_ / export / home1 / NoCsBack / dtai / jodv / workspacex95xjava / Benchie / xsbx95xspeedtest2 / x46x / results / XSB / hamiltonianx95xpath ) . READ_CAN_ERROR at (or about) term (usu. line) number 25

In attachment some files generating this error. The result was that modelexpand produced some incorrect results (the Run/2 predicate should not be empty...).

Hint: when this issue is fixed, add this use case as a test.

[Joachim Jansen]

Attached test file

[Broes De Cat]

Vermoedelijk door characters die herschreven zouden moeten worden?

[Joachim Jansen]

Reworked transformation to XSB domain elements

This allows strings with characters such as "." and "/"

This fixes bug #438

→ <<cset 58cb523de261>>

[Joachim Jansen]

Reworked transformation to XSB domain elements

This allows strings with characters such as "." and "/"

This fixes bug #438

→ <<cset a41f4993896d>>