8000 Home · aprolog-lang/aprolog Wiki · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Home

Jump to bottom
James Cheney edited this page Aug 13, 2019 · 2 revisions
< 5341 div data-view-component="true" class="Layout-main">

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.

Clone this wiki locally
0