varv(punane).
varv(sinine).
varv(kollane).

piir(Riik1, Riik2):-
    varv(Riik1), varv(Riik2),
     Riik1\=Riik2.
     
     
     
Eesti=sinine, piir(Eesti, Läti), piir(Läti, Leedu).

Eesti=sinine, piir(Eesti, Läti), piir(Läti, Leedu),
 piir(Eesti, Venemaa), piir(Läti, Venemaa), piir(Leedu, Venemaa).
 


seos(q0, q1, 1).
seos(q1, q0, 1).
seos(q1, q2, 0).
seos(q2, q1, 0).
seos(q2, q3, 1).
seos(q3, q2, 1).
seos(q0, q3, 0).
seos(q3, q0, 0).
algus(q0).


algus(A), seos(A, B, X), seos(B, C, Y), C=q2.


kolmene():-
    algus(A), seos(A, B, X), seos(B, C, Y), seos(C, D, Z),
      write(X), write(Y), write(Z), writeln(D), false.

kolmene(D):-
    algus(A), seos(A, B, _), seos(B, C, _), seos(C, D, _).

setof(Koht, kolmene(Koht), V), member(K2, V).

L=[a, b], append(L, [c], V)


L=[], algus(A), seos(A, B, T1), 
  append(L, [T1], V1), seos(B, C, T2),
  append(V1, [T2], V2).
  

edasi(P, L):-
    seos(P, X, T), append(L, [T], V),
    writeln(V), edasi(X, V).


edasi2(P, L):-
    seos(P, X, T), append(L, [T], V),
       ( (   length(L, Pikkus), Pikkus<4) ->
      edasi2(X, V);   writeln(V)), false.


edasi3(P, L):-
    seos(P, X, T), append(L, [T], V),
       ( (   length(L, Pikkus), Pikkus<4) ->
      edasi3(X, V);  X=q3, writeln(V)), false.

edasi4(P, L):-    
    ( ( length(L, Pikkus), Pikkus<4) ->
      seos(P, X, T), append(L, [T], V),edasi4(X, V);  
    writeln(L)), false.
    
    
L=[], algus(A), edasi4(A, L).


lause --> tervitus, parisnimi.
tervitus --> [tere].
tervitus --> [ahoi].
parisnimi --> [juku].
parisnimi --> [kati].
parisnimi --> tiitel, parisnimi.
tiitel --> [kodanik].
tiitel --> [seltsimees].


length(A, Pikkus), Pikkus < 5, phrase(lause, A) .

phrase(lause, [tere, seltsimees, kodanik, juku]) .

 
Palindroomi näide

s --> [a], s, [a].
s --> [b], s, [b].
s --> [].
s --> [a].
s --> [b].

phrase(s, [a, b, b]) .


sõbrad(Isikud):-
    Isikud=[
       isik(ants, _, _, _),
       isik(jüri, _, _, _),
       isik(mati, _, _, _)
    ],
    member(isik(ants, punane, _, _), Isikud),
    member(isik(jüri, _, korvpall, _), Isikud),
    member(isik(_, _, jalgpall, koer), Isikud),
    member(isik(_, roheline, _, kanaarilind), Isikud),
    member(isik(_, sinine, _, kana), Isikud)

    .
    
	
sõbrad(L), member(isik(X, _, tennis, _), L).

%Koostage sarnane piirangutega ülesanne


https://meet.google.com/kck-qhhy-gcj