SWI-Prolog-показать длинный список

Я использую SWI-Prolog, и я пытаюсь распечатать список, но если в списке больше 9 элементов - это выглядит так -

[1, 15, 8, 22, 5, 19, 12, 25, 3|...]

есть ли способ показать весь список?

17
prolog prolog-toplevel swi-prolog

4 ответов

посмотрите на: http://www.swi-prolog.org/FAQ/AllOutput.html

простое решение-ввести w после того, как ответ дан, то есть: 

?- n_queens_problem(10,X).
X = [1, 3, 6, 8, 10, 5, 9, 2, 4|...] [write]
X = [1, 3, 6, 8, 10, 5, 9, 2, 4, 7]

после нажатия кнопки"w "-клавиша" [write] " отображается в конце и полное решение появляется в следующей строке.

21

Я нашел два способа.

1.

?- set_prolog_flag(answer_write_options,[max_depth(0)]).
true.

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

(документация set_prolog_flag)

2.

?- atom_chars(goodbye_prolog, X) ; true.

(AllOutput документация)

поставить ; true. В конце вызова, который приводит к длинному списку. Затем нажмите w клавишу на клавиатуре. В результате:

?- sudoku([_,_,2,3,_,_,_,_,_,_,_,_,3,4,_,_], Solution); true.
Solution = [4, 1, 2, 3, 2, 3, 4, 1, 1|...] [write]
Solution = [4, 1, 2, 3, 2, 3, 4, 1, 1, 2, 3, 4, 3, 4, 1, 2] ;
true.
3

Если prolog возвращает только один ответ, вы можете заставить его ждать, набрав "; true."после сказуемого. Затем, если вы нажмете "w", вы увидите весь список, как написано в doc:http://www.swi-prolog.org/FAQ/AllOutput.html

2
?- createListSomehow(List), print(List), nl.

сделает это достаточно аккуратно. Вот чем я занимаюсь.

вариант:

?- use_module(library(pprint)). %load a library to do pretty-printing
?- createListSomehow(List), print_term(List,[]), nl.

на до print_term - это (пустой) список параметров. Для получения дополнительной информации документации.

1