Я не могу найти какую-либо документацию на «не равном» знаке в визуальном прологе. Пожалуйста, укажите правильное решение этой проблемы: класс предикатов сестры: (строковый человек, сестра струны) неразмерные (O, O) ....

в визуальном прологе есть раздел «домены» в программе пролога, в котором вы можете определять типы. Есть ли подобное в swi-prolog? В визуальном прологе тип определяется как: домены NewType = ...