https://www.j-paine.org/dobbs/prolog_lightbulb.html
[1] http://www.doc.ic.ac.uk/~klc/NegAsFailure.pdf
[1] http://www.doc.ic.ac.uk/~klc/NegAsFailure.pdf