Abductive Logic Programming • ALP
Abductive Logic Programming (ALP) is a subfield of artificial intelligence that deals with the inference of unknown facts from known facts. It is a type of logic programming in which the programmer specifies a set of rules that describe how the program can infer new information from existing information.
It uses a combination of logic programming and abduction, which is a type of inference that finds the best explanation for a set of observations.