This semester is the last prerequisite course for my master's in #ComputerScience, programming language theory, and part of it involves exposure to logic programming via #Prolog, and I gotta say, this is beautiful 🥹 there's something to be said for using the right tool for the job, and I feel like this course has installed a whole new drawer in my toolbox. I see now why people reach for this when making e.g. constraint solvers. I wonder how we could use this for FOSS #CAD applications?