Session using hw2p1.mod

?- example N L, one_element L.

L = 1 :: nil,
N = 1.
;
no more solutions
?- example N L, three_elements L.

L = 1 :: 3 :: 1 :: nil,
N = 3.
;
no more solutions
?- example N L, two_or_more_elements L.

L = 1 :: 3 :: nil,
N = 2.
;

L = 1 :: 3 :: 1 :: nil,
N = 3.
;

L = 1 :: 3 :: 5 :: 8 :: nil,
N = 4.
;

L = 2 :: 3 :: 1 :: 4 :: 5 :: 6 :: 7 :: 2 :: 3 :: nil,
N = 5.
;

L = 2 :: 3 :: 6 :: 5 :: 5 :: 6 :: 5 :: 2 :: 3 :: 4 :: 5 :: 6 :: nil,
N = 6.
;

L = 2 :: 3 :: 6 :: 5 :: 5 :: 6 :: 6 :: 5 :: 5 :: 6 :: 3 :: 2 :: nil,
N = 7.
;
no more solutions
?- example 5 M, example 6 N, common_sub_seq L M N, three_elements L.

L = 4 :: 5 :: 6 :: nil,
N = 2 :: 3 :: 6 :: 5 :: 5 :: 6 :: 5 :: 2 :: 3 :: 4 :: 5 :: 6 :: nil,
M = 2 :: 3 :: 1 :: 4 :: 5 :: 6 :: 7 :: 2 :: 3 :: nil.
;
no more solutions
?- example N L, palindrome L, write L, nl, fail.
nil
1 :: nil
1 :: 3 :: 1 :: nil
2 :: 3 :: 6 :: 5 :: 5 :: 6 :: 6 :: 5 :: 5 :: 6 :: 3 :: 2 :: nil
no
?-  palindrome L.

L = nil.
;

L = X :: nil.
;

L = X1 :: X1 :: nil.
;

L = X1 :: X2 :: X1 :: nil.
;

L = X1 :: X3 :: X3 :: X1 :: nil.
;

L = X1 :: X3 :: X4 :: X3 :: X1 :: nil.
;

L = X1 :: X3 :: X5 :: X5 :: X3 :: X1 :: nil.
;

L = X1 :: X3 :: X5 :: X6 :: X5 :: X3 :: X1 :: nil.
;

L = X1 :: X3 :: X5 :: X7 :: X7 :: X5 :: X3 :: X1 :: nil.
;

L = X1 :: X3 :: X5 :: X7 :: X8 :: X7 :: X5 :: X3 :: X1 :: nil.

yes
?-