Title: Evaluating declarative progamming