Title: An abstract Prolog instruction set