Array Access

Classification
Enhancement

Discrepancy

The Jekejeke Prolog supports the built-ins functor/3 and arg/3. These predicates can be used to dynamically created and access compound. This is a simple substitute for arrays. The functor predicate already supports the view that atoms are compounds of arity zero. Unfortunately according to the ISO core standard, accessing atoms is not allowed.

Integration / Elimination

If the ISO core standard requires this behaviour we can adapt our code easily. Unfortunately in our current implementation we do not yet have a compatibility switch. Here it would make sense to have such a switch.

The switch would also need to adapt the thrown exception. Consequently since our current arg/3 implementation also accepts atoms, we have changed the exception from type error compound to type error callable.

Failed Test Cases

ISO 8.5.2.4, ISO 10

Related Findings
-

Kommentare