Folien - Fachgruppe Informatik an der RWTH Aachen

Imperative Program
Logic Program
• program = sequence of instructions
class List {
int hd; List tl;
int len ()
{
List x = this;
int n = 0;
while (x != null) {
• program = knowledge base
• specifies what should be
computed,
not
how it is computed
len([], 0).
len([HD|TL], N): -len(TL, M),
N is M + 1.
?- len([15,70,36], P).
P = 3
x = x.tl;
n = n + 1; }
Advantages
• shorter and clearer programs
}
}
return n;
• fast development
• especially suitable for AI