This website is maintained by Weijun Zhu.

Plog Download, Compiled Nov 24, 2005

  • Precompiled binary for Windows: Download.
  • Source Code for Unix: Download.
  • Allowing using do and obs atoms in the regular rule.

    Plog Download, Compiled Dec 1st, 2005

  • Precompiled binary for Windows: Download.
  • Source Code for Unix: Download.
  • Fixed one bug of using pr atoms.

    Plog Download, Compiled Dec 7, 2005

  • Source Code for Unix: Download
  • Find something wrong with do and obs in the previous version, fixed.

    Plog Download, Compiled Jan 17, 2006

  • Source Code for Unix: Download
  • support expressions for assigned probability. e.g.[r] pr(a(X))=X/4-1. Use hide and show statement to output partial answer sets

    Plog Download, Compiled Feb 08, 2006

  • Source Code for Unix: Download
  • Adding axioms for obs and do, note for using obs: obs(Literal). e.g. obs(open=2), obs(-prize(2)).

    Plog Download, Compiled Sep 2008

  • Source Code for Unix: Download
  • Fix a BIG error on the previous version.

    About how to use

  • Notes for using Plog system. Open.

    • Usage: plog filename

  • Translated program will be in file "out.slp"(runnable for lparse & smodels), Answer Sets will output to the file "result.ast"
  • The Plog inference engines posted here are naive versions. There might be some errors. Bug Report: weijun.zhu@ttu.edu.