GitHub repository: zsoltzombori/plcop
Primary language: OpenEdge ABL
Created: 2020-01-26T22:54:29Z
Description: Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover