Project

Disclaimer: By using this web page you are accepting your university and departmental guidelines concerning plagiarism as well as your national and international laws about intellectual property and copyrights. More info.
Note: The information provided here may not be complete, or even correct. This page was complied a long time after the concerned course was completed. It merely aims to provide hints and help for younger students. The author is not responsible for any mistakes or for any consequences arising from the usage of the materials provided on this website.

Corresponding unit: 
Prolog for Cognitive Science
Mark: 
A
Info: 

A tableaux theorem prover.

Files:

FileTypeSizeDownloadsLink
Problem sheet 1 / 3gif28.96 KB16 downloads[download]
Problem sheet 2 / 3gif16.87 KB16 downloads[download]
Problem sheet 3 / 3gif19.35 KB16 downloads[download]
Main.pltxt21.33 KB40 downloads[download]
Prover.pltxt14.69 KB42 downloads[download]
Operators.pltxt857 bytes42 downloads[download]
CharsIn.pltxt4.16 KB45 downloads[download]
AutoTest.outout4.26 KB36 downloads[download]
Test.inin187 bytes29 downloads[download]
Test1.outout55 bytes43 downloads[download]
Test2.inin37 bytes42 downloads[download]
Test2.outout8 bytes37 downloads[download]