Built-In Preprocessor for context arguments

I think it would already be not eligible for argument indexing since it’d add arguments on the right while SWI indexes only on the first, right?

If I understood the previous correctly, then Eclipse may be a better fit here since I understood they can JIT figure out the argument best suitable for indexing (but maybe my point is irrelevant if it really considers only simple type tests):

I think SWI-Prolog (JIT) indexes across all arguments – not sure how far down it does “deep” indexing into compound arguments …

right. I was mistaken.

SWI-Prolog provides‘just-in-time’ indexing over multiple arguments

https://www.swi-prolog.org/pldoc/man?section=jitindex

1 Like