This is very useful for two-way DCGs where many times type conversion prevents you from easily writing a two-way DCG.