1
2
3
4
5
6
7
edge(a,c).
edge(a,d).
edge(a,e).
edge(b,e).
edge(b,c).
edge(c,d).
reach(X,Y) :- edge(X,Y).

1
2
3
4
5
6
7
edge(a,c).
edge(a,d).
edge(a,e).
edge(b,e).
edge(b,c).
edge(c,d).
reach(X,Y) :- edge(X,Y).

1
2
3
4
5
6
7
edge(a,c).
edge(a,d).
edge(a,e).
edge(b,e).
edge(b,c).
edge(c,d).
reach(X,Y) :- edge(X,Y).

1
2
3
4
5
6
7
edge(a,c).
edge(a,d).
edge(a,e).
edge(b,e).
edge(b,c).
edge(c,d).
reach(X,Y) :- edge(X,Y).

1
2
3
4
5
6
7
8
9
edge(a,c).
edge(a,d).
edge(a,e).
edge(b,e).
edge(b,c).
edge(c,d).
reach(X,Y) :- edge(X,Y).
reach(X,Y) :-
edge(X,Z),
 ...

1
2
3
4
5
6
7
8
9
                       #
              ####   #####   ####
        ##     #################     ##
         #############   #############
          #######             #######
     ######                         ######
      ###          Spieglein          ###
  ######                               ######
 ######            Spieglein            ######
 ...

1
2
3
4
5
6
7
8
9
                       #
              ####   #####   ####
        ##     #################     ##
         #############   #############
          #######             #######
     ######                         ######
      ###          Spieglein          ###
  ######                               ######
 ######            Spieglein            ######
 ...

1
man(ken)

1
2
RS [TL+HA-UA].[ST-TR][R-BO][SU-LT]
[TA-ES] [TL+RA-WA].[BA+WS+EA+TS+HS]

1
2
f('a').
f('b').

1
2
3
4
5
6
a_to_b(A,B):-number_chars(A,[H|ATail]),
    alist_to_blist([H|ATail],BTail),number_chars(B,[H|BTail]).
 
alist_to_blist([_],[]).
alist_to_blist([H,H|ATail],['1'|BTail]):-!,alist_to_blist([H|ATail],BTail).
alist_to_blist([_|ATail],['0'|BTail]):-alist_to_blist(ATail,BTail).

1
2
3
4
5
6
7
8
9
 
domains
    disease,indication,name = symbol
 
predicates
    hypothesis(name,disease)
    symptom(name,indication)
    
clauses
 ...

1
2
3
4
girl(sally).
girl(jane).
 
boy(B) :- \+ girl(B).

1
2
3
4
5
6
7
8
9
factorial(0,1). 
 
factorial(N,F) :-  
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
   F is N * F1.
 
factorial(5,F).

1
2
3
4
5
6
7
8
9
factorial(0,F,F). 
 
factorial(N,A,F) :-  
    N > 0, 
    A1 is N*A, 
    N1 is N -1, 
    factorial(N1,A1,F). 
 
?- factorial(5,1,F). 

1
2
3
4
5
6
7
factorial(0,1). 
 
factorial(N,F) :-  
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
   F is N * F1.

1
2
3
4
5
hobbies([mary, [reading, sewing, boxing]]).
hobbies([richard, [reading, swimming, gaming]]).
hobbies([allen, [chess, scrabble]]).
haveHobbies(X):-hobbies([X,HList]),HList\=[],!,nl,write(X)->write(' has Hobbies!');nl,write(X),write(' does NOT have Hobbies!').
  

1
2
3
4
5
hobbies([mary, [reading, sewing, boxing]]).
hobbies([richard, [reading, swimming, gaming]]).
hobbies([allen, [chess, scrabble]]).
haveHobbies(X):-hobbies([X,HList]),HList\=[],!,nl,write(X)->write(' has Hobbies!');nl,write(X),write(' does NOT have Hobbies!').
  

1
2
3
4
5
hobbies([mary, [reading, sewing, boxing]]).
hobbies([richard, [reading, swimming, gaming]]).
hobbies([allen, [chess, scrabble]]).
haveHobbies(X):-hobbies([X,HList]),HList\=[],!,nl,write(X)->write(' has Hobbies!');nl,write(X),write(' does NOT have Hobbies!').
  

1
2
3
4
hobbies([mary, [reading, sewing, boxing]]).
hobbies([richard, [reading, swimming, gaming]]).
hobbies([allen, [chess, scrabble]]).
haveHobbies(X):-hobbies([X,HList]),HList\=[],!,nl,write(X)->write(' has Hobbies!');write(X),write(' does NOT have Hobbies!').

1
2
3
4
hobbies([mary, [reading, sewing, boxing]]).
hobbies([richard, [reading, swimming, gaming]]).
hobbies([allen, [chess, scrabble]]).
haveHobbies(X):-hobbies([X,HList]),HList\=[],!,write(X)->write(' has Hobbies!');write(X),write(' does NOT have Hobbies!').

1
2
3
4
hobbies([mary, [reading, sewing, boxing]]).
hobbies([richard, [reading, swimming, gaming]]).
hobbies([allen, [chess, scrabble]]).
haveHobbies(X):-hobbies([X,HList]),HList\=[],!, write(X)->write('TRUE');write('FALSE').

1
2
3
4
hobbies([mary, [reading, sewing, boxing]]).
hobbies([richard, [reading, swimming, gaming]]).
hobbies([allen, [chess, scrabble]]).
haveHobbies(X):-hobbies([X,HList]),HList\=[],!, write(X)->write('TRUE');write('FALSE').

1
2
3
4
hobbies([mary, [reading, sewing, boxing]]).
hobbies([richard, [reading, swimming, gaming]]).
hobbies([allen, [chess, scrabble]]).
haveHobbies(X):-hobbies([X,HList]),HList\=[],!, write(X)->write('TRUE');write('FALSE').

1
2
3
4
hobbies([mary, [reading, sewing, boxing]]).
hobbies([richard, [reading, swimming, gaming]]).
hobbies([allen, [chess, scrabble]]).
haveHobbies(X):-hobbies([X,HList]),HList\=[],!,write(X),write(' has hobbies? ').

1
2
3
4
hobbies([mary, [reading, sewing, boxing]]).
hobbies([richard, [reading, swimming, gaming]]).
hobbies([allen, [chess, scrabble]]).
haveHobbies(X):-hobbies([X,HList]),HList\=[],!,write(X),write(' has hobbies? ').

1
2
3
4
hobbies([mary, [reading, sewing, boxing]]).
hobbies([richard, [reading, swimming, gaming]]).
hobbies([allen, [chess, scrabble]]).
haveHobbies(X):-hobbies([X,HList]),HList\=[],!,write(X),write(' has hobbies? ').

1
2
3
4
hobbies([mary, [reading, sewing, boxing]]).
hobbies([richard, [reading, swimming, gaming]]).
hobbies([allen, [chess, scrabble]]).
haveHobbies(X):- hobbies([X,HList]), HList\=[], !.

1
2
3
4
hobbies([mary, [reading, sewing, boxing]]).
hobbies([richard, [reading, swimming, gaming]]).
hobbies([allen, [chess, scrabble]]).
haveHobbies(X):- hobbies([X,HList]), HList\=[], !.

1
2
3
4
hobbies([mary, [reading, sewing, boxing]]).
hobbies([richard, [reading, swimming, gaming]]).
hobbies([allen, [chess, scrabble]]).
haveHobbies(X):- hobbies([X,HList]), HList\=[], !.