COSSAC

Landing page for Cognitive Systems Engineering content.

Installing and running SWI Prolog.

Installing and running Sceptic.

Installing and running Cogent.

Installing and running the Tallis suite.

Exercise files