Prolog Theorem Prover

This project is a theorem prover implemented in Prolog.

Getting Started

These instructions will get you a copy of the project up and running on your local machine for development and testing purposes.

Prerequisites

You need to have SWI-Prolog installed on your machine.

Installing

Clone the repository to your local machine.

git clone git@github.com:gregb122/Theorem-prover.git

Navigate to the project directory.

cd Theorem-prover

Run the Prolog interpreter.

swipl

Load the theorem prover.

[theorem_prover].

Running the tests

The tests for this project are located in the tests directory. To run all tests, use the test_all predicate.

swipl -g 'test_all,halt' checker.pl

Test Results

For each executed test, the checker displays the execution time (if the test completed) and the execution status. Possible values are:

• ok - the program passed the test
• wrong answer - incorrect answer
• tle - time limit exceeded
• invalid test - invalid test format
• invalid answer - invalid solution format

License

This project is licensed under the MIT License - see the LICENSE.md file for details