Turing Machine Simulation in Prolog

Project to FLP, VUT FIT 2022/23

author: Bc. Daniel Pátek xpatek08@stud.fit.vutbr.cz

Build

Project needs to have swipl compiler installed. Then with make command, project gets compiled and executable flp22-log is created.

Run

Program can be started as follows:

$ ./flp22-log <input_file >output_file

Tests

To run tests, simply enter make test command. Test script will be executed and tests, which are located in /tests folder will be evaluated.