Polymorphic Bottom-Up Weighted Relational Programming

Dmitri Volkov

This work presents a new approach for implementing polymorphism for bottom-up relational languages, without monomorphization. We begin by introducing semiringKanren, a bottom-up we…