запутался как использовать \ = при обновлении базы знаний

Question

вопросы по синтаксису Swi-пролога;Я не совсем понимаю, как использовать \ = при обновлении базы знаний.Я пишу предикат, в котором хочу распечатать все песни, которые Карен может исполнить, кроме heyJude.

canPerform(karen, Song) :-
   song(Song =\= heyJude). 

Это точно?

Answer 1

Пролог не функциональный язык программирования.Вы, вероятно, захотите:

canPerform(karen, Song) :- song(Song), Song \== heyJude.

Кроме того, руководства по стилю кодирования Prolog обычно предписывают CamelCase только для переменных.Поэтому я предлагаю вам переименовать ваши атомы в:

can_perform(karen, Song) :- song(Song), Song \== hey_jude.