GITLAB

Francisco Coelho / zugzwang

Sign in

Project
Files
Commits
Network
Graphs
Issues 0
Merge Requests 0
Wiki

Blame view

code/asp/p20.lp 23 Bytes

Edit Raw Normal View History

Francisco Coelho Main text adapted...

1
2

q(f(a)).
p(X) :- -q(X).