13
Datalog
•
Definition
. A datalog program is a set of
rules:
R
i
1
:-
f
1
R
i
2
:-
f
2
. . . .
R
i
m
:-
f
m