SWI-Prolog условные операторы

Question

Я пытаюсь написать функцию, которая будет проверять, содержится ли слово hello в списке. Если он содержится, я не хочу, чтобы он говорил «правда», я хочу, чтобы он сказал: «Да, слово« привет »содержится здесь», любые идеи?

Вот мой код:

contains_hello([hello|_]). 
contains_hello([Head|Tail]):- Head \= hello, contains_hello(Tail). 

Answer 1

Это непроверенное, но попробовать:

contains_hello([hello|_]) :- 
    write('yes, the word hello is contained here'), 
    nl. 
contains_hello([Head|Tail]) :- Head \= hello, contains_hello(Tail). 

Answer 2

ясно форма вашего кода, который вы только хотите, чтобы сообщение было напечатано раз. В настоящее время вы решаете это, добавив Head \= hello ко второму предложению. Это не так, как обычно решает это в Prolog.

Обратите внимание, что ваше второе предложение исключает именно ту ситуацию, которая соответствует первому предложению. Таким образом, гораздо удобнее вырезать в первом предложении. Это останавливает откат. I.e., если первое предложение соответствует, то второе предложение не будет рассматриваться.

Сокращение обозначено восклицательным знаком (!). Таким образом:

contains_hello([hello|_]) :- 
    write('yes, the word hello is contained here'), nl, !. 

contains_hello([_|T]) :- contains_hello(T).