collaborators

1 paper

cs.PL2024

Improving stableKanren's Backward Compatibility

Xiangyu Guo, Ajay Bansal

We improve the backward compatibility of stableKanren to run miniKanren programs. stableKanren is a miniKanren extension capable of non-monotonic reasoning through stable model sem…