Projects Directory : Computational Logic and Automated Reasoning - ComputationalEngineering (Matlab codes)