Яке використання assert у Пролозі?

Стверджувати присудок Додає новий факт або речення до бази даних. Термін стверджується як останній факт або речення з тим самим ключовим предикатом.

Ключове слово assert дозволяє перевірити, чи повертає умова у вашому коді значення True, якщо ні, програма викличе AssertionError.

Твердження безцінні для налагодження, перевірка припущень і забезпечення належної поведінки коду за певних умов.

Assert — це мета-предикат, який додає речення до програми Prolog. Retract — це мета-предикат, який видаляє речення з програми.

система. Стверджувати приймає два параметри, один (обов’язковий), який є умовою для перевірки, а інший – повідомлення (необов’язкове), яке відображатиметься, якщо ця умова буде помилковою.

Використовуйте assert для налагодження та розробки: заяви assert в основному призначені для налагодження та перевірки припущень під час розробки. Вони допомагають виявляти помилки та надають відгук про несподівані ситуації.

Функція assert() перевіряє параметр умови. Якщо значення false, друкується повідомлення про стандартну помилку, використовуючи рядковий параметр для опису невдалого стану. Потім він встановлює змінну _assert_exit в одиницю та виконує інструкцію виходу. Оператор виходу переходить до правила END.