Абдуктивное логическое программирование

парадигма программирования, основанная на логическом выводе с помощью абдукции и ограничений целостности