A prolog (SWI-prolog) progarm that uses basic logic steps to create proofs for different mathemaical results.