SIMPOS fue programado en Kernel Language 0 (KL0), una variante concurrente de Prolog12 con extensiones para la programación orientada a objetos, el metalenguaje ESP.