1
 

1
 

1
2
3
starts(Atom,Character) :- prefix(Atom, Character).
 
starts('a', 'abc').

1
2
3
starts(Atom,Character) :- starts(X, [X|_]), atom(X).
 
starts('a', 'abc').

1
2
3
starts(Atom,Character) :- starts(X, [X|_]), atom(x).
 
starts('a', 'abc').

1
2
3
starts(Atom,Character) :- starts(X, [X|_]).
 
starts('a', 'abc').

1
2
3
starts(Atom,Character) :- starts(X, [X|_]).
 
starts(a, "abc").

1
2
3
starts(Atom,Character) :- starts(X, [X|_]).
 
starts("a", "abc").

1
2
3
starts(Atom,Character) :- starts(X, [X|_]).
 
starts(a, abc).

1
2
3
starts(Atom,Character) :- starts(X, [X|_]).
 
starts(a, abc).

1
2
3
4
5
6
7
8
9
database
  yes(string)
  no(string)
  maybe(string)
 
predicates
  repeat
  run
  make_selection(string, integer, integer)
 ...

1
[x|y] = [hello].

1
[x|y] = [ ].

1
[x|y]=[].

1
[x|y]=[]

1
2
3
4
5
6
7
8
xyz( [ ], 0, [ ] ) .
 
xyz( [N|Rest], S, [N|RestResult] ) :-
S1 is S - N,
xyz(Rest, S1, RestResult ) .
 
xyz( [N|Rest], S, RestResult ) :-
xyz(Rest, S, RestResult ) .
 ...

1
2
3
4
5
6
7
8
xyz( [ ], 0, [ ] ) .
 
xyz( [N|Rest], S, [N|RestResult] ) :-
S1 is S - N,
xyz(Rest, S1, RestResult ) .
 
xyz( [N|Rest], S, RestResult ) :-
xyz(Rest, S, RestResult ) .
 ...

1
2
3
4
5
6
7
8
xyz( [ ], 0, [ ] ) .
 
xyz( [N|Rest], S, [N|RestResult] ) :-
S1 is S - N,
xyz(Rest, S1, RestResult ) .
 
xyz( [N|Rest], S, RestResult ) :-
xyz(Rest, S, RestResult ) .
 ...

1
2
3
4
5
6
7
8
xyz( [ ], 0, [ ] ) .
 
xyz( [N|Rest], S, [N|RestResult] ) : -
S1 is S - N,
xyz(Rest, S1, RestResult ) .
 
xyz( [N|Rest], S, RestResult ) : -
xyz(Rest, S, RestResult ) .
 ...

1
2
3
4
5
6
7
8
9
parent(pam,bob).
parent(tom,bob).
parent(tom,liz).
parent(bob,ann).
parent(bob,pat).
parent(pat,jim).
parent(joe,jim).
male(tom).
male(bob).
 ...

1
2
3
4
5
6
7
8
9
parent(pam,bob).
parent(tom,bob).
parent(tom,liz).
parent(bob,ann).
parent(bob,pat).
parent(pat,jim).
parent(joe,jim).
male(tom).
male(bob).
 ...

1
2
3
4
5
6
7
8
9
parent(pam,bob).
parent(tom,bob).
parent(tom,liz).
... parent(bob,ann).
parent(bob,pat).
parent(pat,jim).
parent(joe,jim).
male(tom).
male(bob).
 ...

1
2
3
4
5
6
program :- parent(X,Y),parent(Y,Z),parent(A,Y),
 
parent('Jim','Ann').
parent('Ann','Bob').
 
:- program.

1
2
3
4
5
6
program :- parent(X,Y),parent(Y,Z),parent(A,Y),
 
parent('Jim','Ann').
parent('Add','Mom').
parent('Jax','Jim');
:- program.

1
2
3
4
5
program :- parent(X,Y),parent(Y,Z),parent(A,Y),
 
parent('Jim','Ann').
 
:- program.

1
2
3
4
parent(Pam,Bob).
parent(Bob,Jam).
parent(Liz,Jam).
 

1
2
3
4
5
6
7
p
w
r
v
 
p:=w,r
p:=v,w

1
2
3
4
5
p
q
r
 
w:= p,v,r.

1
2
p:=q.
q.

1
2
p:=q.
q.