Программирование логическое, абдуктивное
Программирование логическое, абдуктивное (ALP) (Abductive logic programming) – это высокоуровневая структура представления знаний, которая может использоваться для решения проблем декларативно – на основе абдуктивного рассуждения. Она расширяет нормальное логическое