AGFeldman/tng_prolog

Puzzle is the "heros and fears" part of http://io9.gizmodo.com/can-you-solve-this-extremely-difficult-star-trek-puzzle-1667991339

See also http://io9.gizmodo.com/even-bilbo-baggins-would-struggle-with-this-weeks-riddl-1670706933

Websites used to help learn the input language of clingo:

http://potassco.sourceforge.net/start.html
http://www.cs.utexas.edu/~cannata/cs345/Class%20Notes/32%20Yuliya%20Spring%202011%20cs345Presentation.pdf
https://en.wikipedia.org/wiki/Answer_set_programming

It seems like https://en.wikipedia.org/wiki/Stable_model_semantics might be relevant background theory.