ICLP 2018 Logic Programming Contest
Contest described here:
https://sites.google.com/site/prologcontest2018/
RBAC
Mary's Partitions
Hatter
Stars
A latin square