EntityQ1418635· pop 5· linked from 19 articlesWarren Abstract MachineSign in to saveabstract machine for the execution of PrologConnectionscompilerEntitycomputer storage mediaEntityPrologEntityinstruction set architectureEntityabstract machineEntitySRI InternationalEntitytail recursionEntityground expressionEntityDavid H. D. WarrenEntityCategoriesAbstract machinesLogic programmingSRI International softwareVirtual machines