Дизъюнкция в Description logics обозначается:
Конъюнкция в Description logics обозначается:
Description-logic - это ...
Двойное отрицание с использованием предиката not в Prolog:
Анонимная переменная на языке Prolog обозначается символом:
Встроенный предикат отсечения на языке Prolog обозначается символом: