Я не могу найти документацию по знаку "не равно" в 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).