Introduction to Acalog