These problems can be either observations that need to be explained (as in classical abductive reasoning) or goals to be solved (as in normal logic programming).
Цими проблемами можуть бути або спостереження, які необхідно пояснити (як у класичних абдуктивних міркуваннях), так і цілі, які необхідно вирішити (як у звичайному логічному програмуванні).