https://123dok.com/document/qvjo060q-slide-negation-as-failure.html