Нашли или выдавили из себя код, который нельзя назвать нормальным, на который без улыбки не взглянешь? Не торопитесь его удалять или рефакторить, — запостите его на говнокод.ру, посмеёмся вместе!
0
wrs(S):-put_char('\"'), wrsi(S).
wrsi([C|S]):-put_char(C), wrsi(S).
wrsi([]):-put_char('\"').
wrl(S):-put_char('['), wrli(S), put_char(']').
wrli([C|[O|S]]):-wrs(C), put_char(','), wrli([O|S]).
wrli([C]):-wrs(C).
:- wrl(["dog", "cat", "canary"]).
Курю правильные примеры кода на прологе. PrologGovno ждите во всех кинотеатрах страны.
http://ideone.com/L4vIKs
Почему вместо того чтобы пользоваться стандартной функцией вывода списков или строк - автор рекомендует это? Я код правда поправил, а то хаскельных скобок (я уже без них не могу) не было и запятую в конце списка выдавало.
Запостил: 
HaskellGovno,
(Updated )
>Запостил: HaskellGovno
Тут явно что-то не то.
А я еще не могу понять почему вместо стандартной функции вычисления факторила авторы всех туториалов рекомендуют использовать рекурсивный велосипед.
Потому что обычно функции вычисления факториала нет в стандартной библиотеке языка. А ввод\вывод - базовые функции.
http://ideone.com/J9H409
http://ideone.com/0kdghz
Он перепутал:
и потому сказал, что стандартные функции пролога не всегда работают.
Парни, почему не подтверждает истинность утверждения minus(2,1,1)? Говорит, что оно ложно.
http://ideone.com/tNU4Lm
Ещё не понимаю, почему в прологах ?-Утверждение(const, X, Y) не работает? Оно если правильно написано должно вывести весь список всех возможных комбинаций Xов и Yов. Только :-Утверждение(const, X, Y)