Преобразование из строки в список в Prolog

Question

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

Следует отметить, что с использованием университетских компьютеров с предустановленными прогонами (OSX) или компьютерами Windows работает тот же самый программный продукт. Хотя это не работает на моей машине Linux/Ubuntu.

Программа запускается с Баш скрипт, используя эту форму:

echo "reset_statistics(off), specific_load_predicate(filename), tokenize(\"$2\", List), tex(List, $3)." | ./prolog-executable 

Пролог исполняемым создается с помощью swipl -c и qsave_program/1

Теперь я узнал, что предикат разметить имеет вид:

tokenize([A|As], List) :- ... 

Так что он принимает список в качестве входных данных, но сценарий bash предоставляет строку.

Возможно ли использовать какой-либо пролог-модуль или расширение, которое автоматически преобразует строку из строки в список? Потому что тот же код работает на других компьютерах.

Answer 1

SWI-Prolog, к сожалению, не отличается от   стандарта ISO Prolog в том, что в окружении двойных кавычек   больше не список характера   коды.

Чтобы восстановить совместимое поведение в этом отношении, используйте один из следующих способов:

1. вызова SWI-Prolog с --traditional флагом
2. добавить :- initialization(set_prolog_flag(double_quotes, codes)). в исходный файл.
3. добавить :- set_prolog_flag(double_quotes, codes). в ваш файл инициализации ~/.swiplrc.

В самом деле, вместо того, чтобы идти со списками кодов символов, я рекомендую взять другой маршрут в целом и адаптировать свои программы для использования списков символов, что означает, что каждый символ представлен в   атоме. Это имеет большое преимущество в том, что ответы на вопросы остаются очень похожими на то, что появляется в запросах, и на самом деле вполне читаемы сами по себе. Вы получаете списки символов, например, помещая:

 
:- set_prolog_flag(double_quotes, chars). 

в файле ~/.swiplrc инициализации. При значении символов, вы получите, например:

 
?- Cs = "hello". 
Cs = [h, e, l, l, o]. 

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

Пока мы не вернемся туда, вы можете использовать один из методов выше (т.Переключитесь кодов в качестве промежуточного решения, по крайней мере, работы вокруг проблем, введенных SWI   7), а затем адаптировать свои библиотеки для работы с кодами и символов, а затем, наконец, переключатель для символов.