Home

Welcome to the αprolog wiki!

These wiki pages provide rudimentary documentation of some new features, such as the automated counterexample search and the directive to optionally save some/all answers to a query or check.