Что означает true?
У меня есть такой файл in.pl: in_array([X],X):-true. in_array([H|Tail],H):-true. in_array([_|Tail],H):-in_array(Tail,H). Запускаю GNU prolog: | ?- [in]. in_array([1,2],2). true ? …
Вопросы по тегу: gnu-prolog
- 0 ▲1 ответ.
У меня есть такой файл in.pl: in_array([X],X):-true. in_array([H|Tail],H):-true. in_array([_|Tail],H):-in_array(Tail,H). Запускаю GNU prolog: | ?- [in]. in_array([1,2],2). true ? …