Il Prolog è un linguaggio di programmazione logica. Il progetto ProLOGO è stato sviluppato con lo swi-prolog (un compilatore prolog open source) e con le librerie XPCE per la parte grafica.