"findall" predicates in IDP are translated incorrectly into XSB

[Joachim Jansen]

They are transformed into XSB's built-in "findall" and "between", which we also need.

TODO: refactor the translation system to make a distinction between these.

Attached is a file showing the bug.

[Joachim Jansen]

Removed hardcoded check for "findall" and "between" in the translator

This check was superfluous since the translator was not used in the first place when creating the prolog terms named "findall" and "between"

This fixes bug #684

→ <<cset 5708eafedf0f>>

[Broes De Cat]

Removed hardcoded check for "findall" and "between" in the translator

This check was superfluous since the translator was not used in the first place when creating the prolog terms named "findall" and "between"

This fixes bug #684

→ <<cset 9d203ecfe9da>>

[Joachim Jansen]

Removed hardcoded check for "findall" and "between" in the translator

This check was superfluous since the translator was not used in the first place when creating the prolog terms named "findall" and "between"

This fixes bug #684

→ <<cset 600c35f3bef0>>