At Gateless we’ve been shipping mortgage underwriting automation with Clara Rules since 2021. This talk is about the lessons we’ve learning using Logic Programming in production, at scale, for over five years. This talk will cover a very brief introduction to rules development, but focus more on a case study in how we leveraged the paradigm and broken past roadblocks with advanced tooling. At one point every production release broke something, and no amount of testing would surface the answers. How would you ensure quality in a high stakes system with thousands of facts and rules?

We’ll give a brief introduction to the business problems we’ve been solving and make the case for Logic Programming. We’ll review our architecture as it pertains to the use of rules. Then we’ll dive deeper into our tooling, and how we use it to ensure quality.

Daniel Glauser

Daniel has been working with Clojure for over fifteen years, and software for almost thirty years. Throughout his career he’s worked at large companies like NBC-Universal and Comcast, as well as a host of smaller startups. He’s currently a VP of Engineering at Gateless, a mortgage software company focused on automating underwriting of residential home loans. When he’s not working Daniel enjoys camping, photography, and videography.

Jose Gomez

Jose Gomez has been working in software for approximately fifteen years, and with Clojure for over ten years. Throughout his career he's worked at companies including Bristol Myers Squibb, Express Scripts, and Guaranteed Rate, as well as smaller startups and boutique consulting firms. He's currently a Senior Principal Software Engineer at Gateless, a mortgage software company focused on automating underwriting of residential home loans. Jose focuses on distributed systems and product engineering, and has contributed to open source work including Clara Rules and Futurama. When he's not working Jose enjoys building computers, playing online MMOs, and listening to an ever-growing audiobook collection.