Код Prolog дает два разных результата:

Question

Итак, я создаю этот код, где есть функция, которая получает 2 аргумента и сообщает, если один из них не является списком.

Код следующее:

/*** List Check ***/ 
islist(L) :- L == [], !. 
islist(L) :- nonvar(L), aux_list(L). 
aux_list([_|_]). 

/*** Double List Check ***/ 
double_check(L, L1) :- \+islist(L) -> write("List 1 invalid"); 
    \+islist(L1)-> write("List 2`invalid"); write("Success"). 

Это shuold работать. Online код делает именно то, что я хочу. Но на консоли Prolog моего компьютера он дает совершенно другой ответ:

?- double_check(a, [a]). 
[76,105,115,116,97,32,49,32,105,110,118,97,108,105,100,97] 
true. 

пример. У меня нет ИДЕИ, откуда этот список. Может кто-нибудь сказать мне мою ошибку и помочь мне исправить это, пожалуйста? Спасибо вам всем!

Answer 1

Быстрое исправление: используйте format/2 вместо write/1! Для получения дополнительной информации о встроенном предикате format/2, click here.

$ swipl --traditional 
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.1.37) [...] 

?- write("abc"). 
[97,98,99]        % output by write/1 via side-effect 
true.          % truth value of query (success) 

?- format('~s',["abc"]). 
abc          % output by format/2 via side-effect 
true.          % truth value (success) 

Однако с различными аргументами командной строки:

$ swipl 
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.1.37) [...] 

?- write("abc"). 
abc 
true. 

?- format('~s',["abc"]). 
abc 
true. 

Хотя это может показаться, как неприятность, я рекомендую использовать параметр командной строки --traditional для SWI-Prolog, в сочетании с format/2 вместо write/1 , Preserve portability!