Qupak: Pattern Matching for Prolog with library(reif) | Heykuki News