Discover how AI is used today and how it will augment human experience in the future
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.