An implemented prototype of two different variants of Circumscription formalized in the PIE system of Christoph Wernhard.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore
LICENSE
Makefile
On_Circumscription.pdf
README.md
circumscription_helpers.pl
mybib.bib
scratch_circ2.pl

README.md

Circumscription

An implemented prototype of two different variants of Circumscription formalized in the PIE system of Christoph Wernhard.

Requirements

  • Installed PIE system in this folder
  • Prover9/mace4 (see PIE install instructions)

Build

The PIE system outputs pdf files, but can also be run in interactive mode.

  1. Update the relative path to your PIE installation in the Makefile
  2. Try make final or make interactive to go into prolog console. The pdf file can be found in /tmp/tmp_ppl.pdf.

View the results

A compiled version is available in the file On_Circumscription.pdf. If your installation is set up correctly, you should obtain the same results.