10 lines
59 B
Perl
10 lines
59 B
Perl
|
f(a).
|
||
|
|
f(b).
|
||
|
|
|
||
|
|
g(a).
|
||
|
|
g(b).
|
||
|
|
|
||
|
|
h(b).
|
||
|
|
|
||
|
|
k(X) :- f(X), g(X), h(X).
|