Relational modeling and APL Prolog and logic programming miniKANREN Constraint satisfaction Q: 8 R: 9 May 10, 2026 Summary