Qupak: Pattern Matching for Prolog with library(reif)

2 points | by triska 3 hours ago