Programación lógica, Construcción - Bull, HoneyWell