GITLAB
Francisco Coelho
/
zugzwang
Toggle navigation
Sign in
Sign in
Project
Files
Commits
Network
Graphs
Issues
0
Merge Requests
0
Wiki
master
old-remote
ab101994212d1ee0e543e7cbf7cd54d3e43a7e09
zugzwang
code
problog
nats.pl
808facfe
Main text adapted to beamer
Browse Code ยป
Francisco Coelho
2022-09-16 16:11:00 +0100
nats.pl
22 Bytes
Edit
Raw
Blame
History
1
2
n(0). n(s(X)) :- n(X).
