Описание тега answer-set-programming

Программирование набора ответов - это парадигма декларативного программирования, которая может решать сложные задачи поиска. Он основан на семантике стабильной модели (набора ответов) логического программирования. В отличие от традиционных языков программирования, мы не даем пошаговых инструкций по программированию набора ответов. Это что-то вроде того, что я хочу, теперь вы понимаете, как это сделать.

При программировании набора ответов, если мы сможем получить правильную логику, ASP потребует:

▪ На порядок меньше кода, чем при императивном программировании.

▪ Меньше точек отказа

▪ Меньше кода для тестирования

▪ Более продуктивная (более счастливая) жизнь программирования

https://stackru.com/images/f7810ff73c6d2fea8a01934eaf88f87f20eda4d2.png

https://stackru.com/images/18a97e0ccde8de5ae4d3569383d93db226aab518.png