chrKanren: Constraint Handling Rules in a Relational Language | Digital Library | PAMCET | PAMCET