Socrates 4 Computer Logic Definition