Rövid szöveges bemutatás:
Az induktív logikai programozás olyan programok előállítására szolgál melyek induktív logikán alapuló érvelést alkalmaznak a már előre ismert tudásbázisból kiindulva. Tehát ez nem egy külön programozási módszer, csupán magára az előállított termékek típusára utal. Ezek a programok általában nem szigorúan vett objektumok egyedi tulajdonságára szolgál, inkább az objektumok közötti relációkra. És maguk az alkalmazások az induktív logika módszereit használják fel.