![](https://blogs.sas.com/content/sgf/files/2022/03/cover-1.png)
Zebra Puzzle Terminator: A general automatic reasoning system solving method
By starting from a set of purely declarative statements, any zebra puzzle with limited constraints can be tagged and solved quickly in the same way without changing any code.