2 lines
21 B
Prolog
2 lines
21 B
Prolog
|
|
mortal(X) :- man(Y).
|
|
|
mortal(X) :- man(Y).
|