SWI Пролог интерпретировать / компилировать из командной строки - PullRequest
0 голосов
/ 24 сентября 2011

Я использую Windows, и я хочу интерпретировать / скомпилировать файл пролога с помощью cmd, есть ли способ сделать это ?.Цель состоит в том, чтобы сделать оболочку для пролога интерпретатора / компилятора в файл, подобный:

gplc -output C: \ a.output -input C: \ a.pl

И ввыходной файл, чтобы быть ответами на мои цели.Я прочитал некоторую документацию для swi-prolog.com и не нашел.

Я пытался с GNU Prolog (и это вызывает у меня ошибку для gcc)

У меня есть этот файлD: \ a.pl Mouther (Джон).Джиджи (ок).

? - Джиджи (ок).

в CMD я запускаю swipl -s D: \ a.pl -o D: \ a2.txt

И я хочу, чтобы в a2 были ответы для моих целей, но это не так /

1 Ответ

7 голосов
/ 24 сентября 2011

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

swipl -s file.pl -g "mygoal(3,foo)." -t halt.

Это приведет к просмотру file.pl, выполнению цели mygoal(3,foo) и остановке интерпретатора без входа в интерактивный режим. Проверьте параметры командной строки для получения дополнительной информации.

...