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
?-
Lectures /
Modules /
Homeworks /
Syllabus