GitHub repository: tarnag57/plcop
Description: Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover