1
2
3
fib(0, 1):-!.
fib(1, 1):-!.
fib(N, W) :- W is fib (N - 1, W1) + fib (N - 2, W2).

1
2
3
fib(0, 1):-!.
fib(1, 1):-!.
fib(N, W) :- fib (N - 1, W) + fib (N - 2, W).

1
2
3
4
5
fib(0, 1):-!.
fib(1, 1):-!.
fib(N, W) :- N1 is N-1, fib(N1, W1),
             N2 is N-2, fib(N2, W2),
             W is W1 + W2.

1
2
3
fib (0,0).
fib (1,1).
fib (N,X) :- fib (N - 1,X) + fib (N-2,X).

1
2
3
fib (0,0).
fib (1,1).
fib (N,X) :- fib (N - 1, X) + fib (N - 2, X)

1
2
3
4
5
6
7
8
9
prefix(X,[],X).
prefix(X,[H|Y],Z) :- prefix(X,H,[X,H]).
 
suffix([],X,X).
suffix(X,[H|Y],Z) :- suffix(H,X,[H,X]).
 
 
 
suffix(X,[1,2,3]). :- style_check(-atom).

1
2
3
4
5
6
7
8
9
prefix(X,[],X).
prefix(X,[H|Y],Z) :- prefix(X,H,[X,H]).
 
suffix([],X,X).
suffix(X,[H|Y],Z) :- suffix(H,X,[H,X]).
 
:- style_check(-atom).
 
suffix(X,[1,2,3]).

1
2
3
4
5
6
7
prefix(X,[],X).
prefix(X,[H|Y],Z) :- prefix(X,H,[X,H]).
 
suffix([],X,X).
suffix(X,[H|Y],Z) :- suffix(H,X,[H,X]).
 
suffix(X,[1,2,3]).

1
2
3
4
5
6
7
prefix(X,[],X).
prefix(X,[H|Y],Z) :_ prefix(X,H,[X,H]).
 
suffix([],X,X).
suffix(X,[H|Y],Z) :_ suffix(H,X,[H,X]).
 
suffix(X,[1,2,3]).

1
2
3
4
5
6
7
prefix(X,[_],X).
prefix(X,[H|Y],Z) :- prefix(X,H,[X,H]).
 
suffix([_],X,X).
suffix(X,[H|Y],Z) :- suffix(H,X,[H,X]).
 
suffix(X,[1,2,3]).

1
2
3
4
5
6
7
prefix(X,[],X).
prefix(X,[H|Y],Z) :- prefix(X,H,[X,H]).
 
suffix([],X,X).
suffix(X,[H|Y],Z) :- suffix(H,X,[H,X]).
 
suffix(_X,[1,2,3]).

1
2
3
4
5
6
7
prefix(X,[],X).
prefix(X,[H|Y],Z) :- prefix(X,H,[X,H]).
 
suffix([],X,X).
suffix(X,[H|Y],Z) :- suffix(H,X,[H,X]).
 
suffix(_[1,2,3]).

1
2
3
4
5
6
7
prefix(X,[],X).
prefix(X,[H|Y],Z) :- prefix(X,H,[X,H]).
 
suffix([],X,X).
suffix(X,[H|Y],Z) :- suffix(H,X,[H,X]).
 
suffix(_,[1,2,3]).

1
2
3
4
5
6
7
prefix(X,[],X).
prefix(X,[H|Y],Z) :- prefix(X,H,[X,H]).
 
suffix([],X,X).
suffix(X,[H|Y],Z) :- suffix(H,X,[H,X]).
 
suffix(X,[1,2,3]).

1
2
3
4
5
6
7
prefix(X,[],X).
prefix(X,[H|Y],Z) :- prefix(X,H,[X,H]).
 
suffix([],X,X).
suffix(X,[H|Y],Z) :- suffix(H,X,[H,X]).
 
suffix(X,[1,2]).

1
2
3
4
5
6
7
prefix(X,[],X).
prefix(X,[H|Y],Z) :- prefix(X,H,[X,H]).
 
suffix([],X,X).
suffix(X,[H|Y],Z) :- suffix(H,X,[H,X]).
 
suffix(X,[1,2,3]).

1
2
3
4
5
prefix(X,[],X).
prefix(X,[H|Y],Z) :- prefix(X,H,[X,H]).
 
suffix([],X,X).
suffix(X,[H|Y],Z) :- suffix(H,X,[H,X]).

1
2
3
4
program :- get_char(X),get_char(Y),check(X,Y). 
check('4','2'):-!. 
check(X,Y):-write(X),get_char(Z),check(Y,Z).
:- program.

1
2
3
program :- 
  write('Hello, World!'), nl.
:- program.

1
write('Hello, World!').

1
write('Hello World!'), nl.

1
write('Hello, World!'), nl.

1
write("Hello, World!"), nl.

1
write('Hello, World!'), nl.

1
Answer(Done).

1
2
3
4
5
pai(mario, manuel).
pai(mario, teresa).
pai(manuel, joao).
pai(joao, maria).
pai(joao, rui).

1
2
3
4
5
6
7
8
9
bieding(Bod, Afzender, Aantal, Bestemming, [], Prijsaanp, Pos) :-
        Maxbod is abs((Bestemming-Afzender)*Aantal),
        Bod is random(Maxbod)+ 0.5.
 
bieding(Bod, Afzender, Aantal, Bestemming, [opdracht(_, Af, Aa, Be, Wi)|_], Prijsaanp, Pos) :-
    Oud is abs(Be-Af)*Aa,
    Nieuw is abs(Bestemming-Afzender)*Aantal,
    Ratio is Nieuw/Oud,
    0.75<Ratio,
 ...

1
2
3
4
5
6
7
8
9
bieding(Bod, Afzender, Aantal, Bestemming, [], Prijsaanp, Pos) :-
        Maxbod is abs((Bestemming-Afzender)*Aantal),
        Bod is int(random(Maxbod)+ 0.5).
 
bieding(Bod, Afzender, Aantal, Bestemming, [opdracht(_, Af, Aa, Be, Wi)|_], Prijsaanp, Pos) :-
    Oud is abs(Be-Af)*Aa,
    Nieuw is abs(Bestemming-Afzender)*Aantal,
    Ratio is Nieuw/Oud,
    0.75<Ratio,
 ...

1
2
hasFourLegs(hest).
isHorse(X) :- hasFourLegs(X).

1
2
3
hasFourLegs(hest).
ishorse(X) :- hasFourLegs(X).
ishorse(hest)?