Я не могу найти документацию на знаке "не равно" в Visual Prolog. Пожалуйста, предоставьте правильное решение этой проблемы:
class predicates
sister : (string Person, string Sister) nondeterm(o,o).
clauses
sister(Person, Sister) :-
Person [not-equal-sign] Sister,
parent(Person, Parent),
parent(Sister, Parent),
woman(Sister).
Спасибо заранее!