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