Knowledge Representation Lab: Software: P-Log
Download
The current version of plog is 1.0.0 and the package can be downloaded at here.
Install
Plog is written in C++ and we use cmake to generate MAKEFILEs. You can download and install cmake at here. After downloading, unzip the file, and use the following steps to build plog:
- Open a terminal and cd to the folder src.
- Type cmake . to create CMakeCache.txt and other installation files.
- Type make install to build plog and, by default, plog will be installed at /usr/local/bin
Running P-log
For current version, plog system is implemented with two inference engines:
- Smodels based engine,
- Partial Grounding Algorithm based engines.
To use Smodels based engine, use the following command:
plog -t filename
To use Partial Grounding Algorithm based engine, type
plog -p filename
About the Authors
The system plog was designed and implemented by Weijun Zhu, a former PhD student and a member of Knowledge Representation Group of Computer Science department of Texas Tech University.
Department of Computer Science
-
Address
Texas Tech University, Box 43104 | Lubbock, TX 79409-3104 -
Phone
806.742.3527 -
Email
webmaster.coe@ttu.edu