Evaluation techniques and systems for answer set programming: A survey