Требуется совет.
Задача состоит разработке программы для проверки корректности заполнения множества полей перед закрытием логистического контракта.
Поля проверяются в зависимости от условий, например, поле А проверяется в случае DDP контракта и не проверяется для других типов. Или поле B проверяется для всех типов поставляемого оборудования кроме ...

Изначально я написал просто с помощью условных операторов, затем бизнес-правила изменили и сразу стало понятно, что будут несколько раз менять и впредь. Очевидное решение: сами условия проверки задавать в виде данных (литеральных констант или в таблице БД).
Удалось унифицировать условия. Теперь они выглядят как множество предикатов примерно такого вида: поле F проверяется, если аргумент A1='...',
аргумент А2= всегда, аргумент A3 = кроме '...'.
Все просто здорово, но вот проблема - для одного поля могут быть определены несколько предикатов с пересекающимися областями действия аргументов.
Прямо классическая задачка для Пролога, но у меня обычный PL/SQL, в котором нет механизма логического вывода.

Сейчас я указал вручную порядок исчисления предикатов, но это как то не красиво. Хотелось бы универсального решения.

Да, в Формсах 6i, но в клиент-серверном режиме.

Очень благодарен всем за советы.
Подключение Prolog-движка потребует определенного времени на эксперименты. Точно займусь этим, но вот в этом ли проекте? Надо оценить временные затраты и срок до окончания :-)