1
2
3
4
5
lieb(sandra).
ist_guter_freund(X) :- lieb(X).
 
 
:- lieb(sandra).

1
2
lieb(sandra).
ist_guter_freund(X) :- lieb(X).

1
2
lieb(sandra).
ist_guter_freund(X) :- lieb(X).

1
2
3
4
lieb(sandra).
ist_guter_freund(X) :- lieb(X).
 
ist_guter_freund(sandra)

1
2
lieb(sandra).
ist_guter_freund(X) :- lieb(X).

1
2
3
4
5
even(0).
even(s(s(12))):-even(X).
 
odd(s(0)).
odd(s(s(12))):-odd(X).

1
2
3
4
5
even(0).
even(s(s(12))):-even(X).
 
odd(s(0)).
odd(s(s(12))):-odd(X).

1
2
3
countdown(X) :- number(X), X<0.
countdown(X) :- number(X), X>=0, write(X), nl, NX is X - 1, countdown(NX).
?- countdown(4).

1
?- X :- 6+2.

1
?- X is 6+2.

1
?- X is 6+2.

1
?- X is 6+2.

1
?- 8 is 6+2.

1
?- 8 is 6 + 2.

1
2
countdown(X) :- number(X), X < 0.
countdown(X) :- number(X), X >= 0,write(X), nl, NX is X - 1, countdown(NX).

1
2
3
countdown(X) :- number(X), X < 0.
countdown(X) :- number(X), X >= 0.
write(X), nl, NX is X - 1, countdown(NX).

1
2
3
4
5
6
 
even(0).
even(s(s(X))):-even(X).
 
odd(s(0)).
odd(s(s(X))):-odd(X).

1
print "Kode Multus"

1
2
3
4
5
6
7
8
9
byCar(auckland,hamilton).
byCar(hamilton,raglan).
byCar(valmont,saarbruecken).
byCar(valmont,metz).
 
byTrain(metz,frankfurt).
byTrain(saarbruecken,frankfurt).
byTrain(metz,paris).
byTrain(saarbruecken,paris).
 ...

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
4
5
6
7
8
9
domains
        s=symbol
predicates
        man(s)
        woman(s)
        parent(s,s)
        mother(s,s)
        sister(s,s)
        hasSister(s)
 ...

1
2
calcul([X],X):-!.
calcul([H|T],S):- calcul(T,R),S=H+P.

1
2
3
4
5
6
7
8
9
%domains
%       s=symbol
 
predicates
        isMale(symbol).
        isFemale(symbol).
        isParent(symbol,symbol).
        
clauses
 ...

1
2
3
4
5
6
7
8
9
%domains
%       s=symbol
 
predicates
        isMale(symbol).
        isFemale(symbol).
        isParent(symbol,symbol).
        
clauses
 ...

1
2
3
4
5
6
7
8
9
%domains
%       s=symbol
 
predicates
        isMale(symbol).
        isFemale(symbol).
        isParent(symbol,symbol).
        
        isMother(symbol,symbol).
 ...

1
2
3
4
5
6
7
8
9
domains
        s=symbol.
 
predicates
        isMale(s).
        isFemale(s).
        isParent(s,s).
        
        isMother(s,s).
 ...

1
2
3
4
5
6
7
8
9
domains
        s=symbol
 
predicates
        isMale(s).
        isFemale(s).
        isParent(s,s).
        
        isMother(s,s).
 ...

1
2
3
4
5
6
7
8
9
domains
        s=symbol
 
predicates
        isMale(s)
        isFemale(s)
        isParent(s,s)
        
        isMother(s,s)
 ...

1
happy.

1
happy.