Prolog Technology Reinforcement Learning Prover

Zsolt Zombori, Josef Urban, Chad E. Brown

We present a reinforcement learning toolkit for experiments with guiding automated theorem proving in the connection calculus. The core of the toolkit is a compact and easy to exte…