Qupak: Pattern Matching for Prolog with library(reif) | Not Hacker News!