Representation in Computational Logic