También ha sido usado como ejemplo en programación lógica.