Francisco Coelho / zugzwang

Blame view

code/problog/nats.pl 22 Bytes
Edit Raw Normal View History
808facfe   Francisco Coelho   Main text adapted... 
1
2
 
n(0).
n(s(X)) :- n(X).