An Introduction to the Planning Domain Definition Language