a framework for automated generation of questions based on first order logic

speaker: Shubham Goyal event: Papers We Love #14 ** blocks and pulleys in first order logic ** implemented in SWI Prolog with CHR ** generate new facts with theorems