Towards Logic: The Language of AI