DyALog est un compilateur pour l'évaluation tabulaire de programmes logiques, de grammaires définitives [DCG], de grammaires d'arborescences adjointes [TAG] et de grammaires de concaténation de plages [RCG]. La tabulation permet de tracer les calculs pour partager les sous-calculs communs et détecter les boucles. Les traces de calculs permettent également, après un calcul, d'extraire, sous forme de forêt partagée, l'ensemble des preuves ou arbres de parse réussis. Ces caractéristiques sont particulièrement utiles pour gérer des grammaires hautement récursives et ambiguës pour le traitement des langues naturelles.