See https://cacm.acm.org/magazines/2023/6/273222-the-silent-revolution-of-sat/fulltext and also modern production rules engines like https://drools.org/ Oddly, back when “expert system shells” were cool people thought 10,000 rules were difficult to handle, now 1,000,000 might not be a problem at all. Back then the RETE algorithm was still under development and people were using linear search and not hash tables... - Source: Hacker News / 6 months ago

Drools – an open-source business rule management system that allows developers to create and manage complex decision logic. Source: about 1 year ago

- Drools - Available in JVM environments (Java, Scala and similar) - uses FEEL for expression language. Source: about 1 year ago

GoRules is a modern, open-source rules engine designed for high performance and scalability. Our mission is to democratise rules engines and drive early adoption. Rules engines are very useful as they allow business users to easily understand and modify core business logic with little help from developers. You can think of us as a modern, less memory-hungry version of Drools that will be available in many... Source: about 1 year ago

Is this something like Drools? It's quite uncommon but it is used in situations where certain sets of business rules change a lot and you want business analysts to be able to quickly change them in a simple graphical UI. Source: over 2 years ago

After a lot of experimenting, my team and I found Pragli and we were surprised. Simple, flexible and spontaneous. Starting a conversation became as light as looking at the next workstation and saying "hey how are things going there?". Source: over 3 years ago