Evidential Logic Programming (ELP) Please find further details at the Evidential Learning and Reasoning webpage.