Representation in Computational Logic door Amjad Ali