1 Writing custom type systems for Python in Prolog 2016125 points42 commentsSoftware Engineering details