To become an advanced SWI Prolog programmer its crucial to understand the SWI Prolog virtual instructions set.
I think its time that this is documented systematically from the minds of the few who have that knowledge.
Can we use this thread – or create an entry somewhere (wiki?) to list and describe:
- Each Virtual Machine Instructions and group of instructions if they come together.
- What each causes to happen (its semantics)
- Upon what runtime structures it relies on – the Virtual Machine runtime “data” architecture
I envision this as a guide as well, so its important to present this with many examples – Prolog code/clauses – generated VMI – , from the simple to the complex.