Read_line_to_codes Пролог Swipl странное поведение

Я хочу прочитать имя пользователя и отобразить его с большой буквы, я сделал что-то подобное.

notice:-
    write('Hi whats ur name?'), nl,
    read_line_to_codes(user_input,Codes1),
    capitalize(Codes1,Codes2)
    ->
    atom_codes(Name,Codes2),
    write(Name).

capitalize([],[]).
capitalize([H1|T], [H2|T]):-
    code_type(H2, to_upper(H1)).

Кажется, я не понимаю, в чем проблема, например, user_input пуст и без чтения.

Что еще более странно, этот, кажется, работает хорошо ...

notice:-
    write('Hi whats ur name?'), nl,
    read(Name),
    write(Name). 

Это изображение хорошо описывает проблему ...

Стоит ли изучать PHP в 2026-2027 годах?
Стоит ли изучать PHP в 2026-2027 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
0
0
157
1

Ответы 1

Как именно вы запускаете этот код, чтобы проверить его?

Первая версия вашего кода у меня отлично работает в оболочке SWI-Prolog:

?- notice.
Hi whats ur name?
|: isabelle
Isabelle
true.

Он также отлично работает, когда запускается как «отдельная» программа:

$ swipl -s foo.pl -q -t notice
Hi whats ur name?
|: isabelle
Isabelle

(Хотя вы должны добавить новую строку после вывода.)

Это немного упрощенная версия моего настоящего уведомления. меню: - написать ('Choose ur path'), nl, read (X), nl, menul (X). меню (1): - старт. начало: - обратите внимание.

Andrzej Ustupski 26.03.2018 18:23

Проблема все еще здесь, может быть, это связано с более ранним выбором пути?

Andrzej Ustupski 26.03.2018 18:29
read/1 - это очень разные из read_line_to_codes/2. Используйте нетread/1, если вы не понимаете, как его использовать. (Он хочет прочитать термин, оканчивающийся точкой. Это почти наверняка не то, что вам нужно.) Удалите read/1 из вашего вопроса, перепишите его в терминах read_line_to_codes/2 и поместите свой фактический код в свой вопрос, иначе мы не сможем его проверить.
Isabelle Newbie 26.03.2018 22:03

Другие вопросы по теме