БНФ все использую в отличи от вашего пролога.