Relational modeling and APL
Summary
This article explores relational modeling and APL, arguing for a constraint-based, multidirectional approach that unifies array languages with logic programming through miniKANREN and Prolog. It discusses how properties can be defined as constraints, how conflicts can be detected and handled, and how interval/affine arithmetic can aid solving underconstrained systems.