https://123dok.net/document/yngwkvpz-production-systems-and-rewrite-systems.html