1
format("~s","abc").

1
format('~s', "テスト").

1
2
3
4
5
6
7
8
9
%Forrest is the brother of Christina.
brother(forrest,christina).
%Christina is the sister of Forrest.
sister(christina,forrest).
%Forrest is a boy and Christina is a girl.
gender(forrest,male).
gender(christina,female).
%Forrest and Christina are the children of the family.
family(forrest,child).

1
2
3
likes(harry,school).
likes(ron,broom).
likes(harry,X) :- likes(ron,X).

1
2
3
likes(harry,school).
likes(ron,broom).
likes(harry,x) :- likes(ron,x).

1
2
3
likes(harry, school).
likes(ron, broom).
likes(harry, X) :- likes(ron, X).

1
2
3
4
5
6
7
8
9
mother_child(trude, sally).
 
father_child(tom, sally).
father_child(tom, erica).
father_child(mike, tom).
 
sibling(X, Y)      :- parent_child(Z, X), parent_child(Z, Y).
 
parent_child(X, Y) :- father_child(X, Y).
 ...

1
2
3
4
5
barva(cervena).
barva(modra).
barva(zelena).
obarvi :- barva(CR), barva(Slo), barva(Rak), barva(Pol), CR \= Pol, CR \= Rak, CR \= Slo, Slo \= Rak,
write(CR : Slo : Rak : Pol),nl,fail.

1
2
3
4
5
6
barva(cervena).
barva(modra).
barva(zelena).
barva(zluta).
obarvi :- barva(CR), barva(Slo), barva(Rak), barva(Pol), CR \= Pol, CR \= Rak, CR \= Slo, Slo \= Rak,
write(CR : Slo : Rak : Pol),fail.

1
2
3
4
5
6
barva(cervena).
barva(modra).
barva(zelena).
barva(zluta).
obarvi :- barva(CR), barva(Slo), barva(Rak), znak(Pol), CR \= Pol, CR \= Rak, CR \= Slo, Slo \= Rak,
write(CR : Slo : Rak : Pol),fail.

1
2
3
4
5
barva(cervena).
barva(modra).
barva(zelena).
obarvi :- barva(CR), barva(Slo), barva(Rak), znak(Pol), CR \= Pol, CR \= Rak, CR \= Slo, Slo \= Rak,
write(CR : Slo : Rak : Pol),fail.

1
2
3
4
5
znak(kun).
znak(zelva).
znak(pes).
obarvi :- znak(C1), znak(C2), znak(C3), znak(C4), C1 \= C2, C1 \= C3, C1 \= C4, C2 \= C4, C3 \= C4, C2 == kun, C3 == kun,
write(C1 : C2 : C3 : C4),fail.

1
2
3
4
5
znak(kun).
znak(zelva).
znak(pes).
obarvi :- znak(C1), znak(C2), znak(C3), znak(C4), C1 \= C2, C1 \= C3, C1 \= C4, C2 \= C4, C3 \= C4, C2 == kun, C3 == kun,
write(C1 : C2 : C3 : C4).

1
2
3
preved(N) :- prev(N,N,[]).
    prev(N,0,V) :- write(V).
    prev(N,Z,V) :- Z2 is Z//2, X is Z mod 2, prev(N,Z2,[X|V]).

1
2
3
preved(N) :- prev(N,N,V).
    prev(N,0,V) :- write(V).
    prev(N,Z,V) :- Z2 is Z//2, X is Z mod 2, prev(N,Z2,[X|V]).

1
2
3
preved(N) :- prev(N,N,V).
    prev(N,N,V) :- write(V).
    prev(N,Z,V) :- Z2 is Z//2, X is Z mod 2, prev(N,Z2,[X|V]).

1
2
3
preved(N) :- prev(N,N,V).
    prev(N,N,V) :- write(V).
    prev(N,Z,V) :- Z2 is Z//2, X is Z mod 2, prev(N,Z2,[X|V]).

1
2
3
4
5
6
7
8
9
quicksort([], []).
quicksort([Head|Tail], SortedList):-
        split(Head, Tail, Klein, Gross),
        quicksort(Klein, Klein_Sortiert),
        quicksort(Gross, Gross_Sortiert),
        append(Klein_Sortiert, [Head|Gross_Sortiert], SortedList).
 
      split(_, [], [], []).
      split(Pivot, [Head|Tail], [Head|Klein], Gross):-
 ...

1
2
3
4
5
6
7
8
9
quicksort([], []).
quicksort([Head|Tail], SortedList):-
        split(Head, Tail, Klein, Gross),
        quicksort(Klein, Klein_Sortiert),
        quicksort(Gross, Gross_Sortiert),
        append(Klein_Sortiert, [Head|Gross_Sortiert], SortedList).
 
      split(_, [], [], []).
      split(Pivot, [Head|Tail], [Head|Klein], Gross):-
 ...

1
2
3
4
5
6
7
8
9
quicksort([], []).
quicksort([Kopf|Rest], SortierteListe):-
        teilen(Kopf, Rest, Kleiner, Groesser),
        quicksort(Kleiner, Kleiner_Sortiert),
        quicksort(Groesser, Groesser_Sortiert),
        append(Kleiner_Sortiert, [Kopf|Groesser_Sortiert], SortierteListe).
 
      teilen(_, [], [], []).
      teilen(Element, [Kopf|Rest], [Kopf|Kleiner], Groesser):-
 ...

1
2
3
4
5
6
7
8
9
quicksort([], []).
quicksort([Kopf|Rest], SortierteListe):-
        teilen(Kopf, Rest, Kleiner, Groesser),
        quicksort(Kleiner, Kleiner_Sortiert),
        quicksort(Groesser, Groesser_Sortiert),
        append(Kleiner_Sortiert, [Kopf|Groesser_Sortiert], SortierteListe).
 
      teilen(_, [], [], []).
      teilen(Element, [Kopf|Rest], [Kopf|Kleiner], Groesser):-
 ...

1
2
3
4
5
6
7
8
9
quicksort([], []).
quicksort([Kopf|Rest], SortierteListe):-
        teilen(Kopf, Rest, Kleiner, Groesser),
        quicksort(Kleiner, Kleiner_Sortiert),
        quicksort(Groesser, Groesser_Sortiert),
        append(Kleiner_Sortiert, [Kopf|Groesser_Sortiert], SortierteListe).
 
      teilen(_, [], [], []).
      teilen(Element, [Kopf|Rest], [Kopf|Kleiner], Groesser):-
 ...

1
2
3
4
5
6
7
8
9
quicksort([Kopf|Rest], SortierteListe, X ) :-
        teilen( Kopf, Rest, Kleiner, Groesser),
        quicksort(Kleiner, Sortierte_Liste, [Kopf|Rest2]),
        quicksort(Groesser, Rest2, X ).
quicksort( [], Liste, Liste ).
 
   teilen(_, [], [], []).
   teilen(Element, [Kopf|Rest], [Kopf|Kleiner], Groesser):-
            Kopf < Element, !,
 ...

1
2
3
4
5
6
7
8
9
quicksort([Kopf|Rest], SortierteListe, X ) :-
        teilen( Kopf, Rest, Kleiner, Groesser),
        quicksort(Kleiner, Sortierte_Liste, [Kopf|Rest2]),
        quicksort(Groesser, Rest2, X ).
quicksort( [], Liste, Liste ).
 
   teilen(_, [], [], []).
   teilen(Element, [Kopf|Rest], [Kopf|Kleiner], Groesser):-
            Kopf < Element, !,
 ...

1
2
3
4
5
6
7
8
9
quicksort([Kopf|Rest], SortierteListe, X ) :-
        teilen( Kopf, Rest, Kleiner, Groesser),
        quicksort(Kleiner, Sortierte_Liste, [Kopf|Rest2]),
        quicksort(Groesser, Rest2, X ).
quicksort( [], Liste, Liste ).
 
   teilen(_, [], [], []).
   teilen(Element, [Kopf|Rest], [Kopf|Kleiner], Groesser):-
            Kopf < Element, !,
 ...

1
2
3
4
5
6
7
8
9
quicksort([Kopf|Rest], SortierteListe, X ) :-
        teilen( Kopf, Rest, Kleiner, Groesser),
        quicksort(Kleiner, Sortierte_Liste, [Kopf|Rest2]),
        quicksort(Groesser, Rest2, X ).
quicksort( [], Liste, Liste ).
 
   teilen(_, [], [], []).
   teilen(Element, [Kopf|Rest], [Kopf|Kleiner], Groesser):-
            Kopf < Element, !,
 ...

1
2
3
4
5
6
7
8
9
quicksort([Kopf|Rest], SortierteListe, X ) :-
        teilen( Kopf, Rest, Kleiner, Groesser),
        quicksort(Kleiner, Sortierte_Liste, [Kopf|Rest2]),
        quicksort(Groesser, Rest2, X ).
quicksort( [], Liste, Liste ).
 
   teilen(_, [], [], []).
   teilen(Element, [Kopf|Rest], [Kopf|Kleiner], Groesser):-
            Kopf < Element, !,
 ...

1
2
3
4
5
6
7
8
9
quicksort([Kopf|Rest], SortierteListe, X ) :-
        teilen( Kopf, Rest, Kleiner, Groesser),
        quicksort(Kleiner, Sortierte_Liste, [Kopf|Rest2]),
        quicksort(Groesser, Rest2, X ).
quicksort( [], Liste, Liste ).
 
   teilen(_, [], [], []).
   teilen(Element, [Kopf|Rest], [Kopf|Kleiner], Groesser):-
            Kopf < Element, !,
 ...

1
2
3
4
5
alice.
marisa.
friend( alice , marisa ).
love( alice , marisa ).
yuri(X,Y) :- friend(X,Y),love(X,Y).

1
2
3
4
5
alice.
marisa.
friend( alice , marisa ).
love( alice , marisa ).
yuri(X,Y) :- friend(X,Y),love(X,Y).