Wat hebben logische programma's (Prolog), inductieve definities, causaliteit en probaliteit met elkaar te maken? Ik zal twee gerelateerde logica's bespreken: ID-logica, en CPE-logica. De eerste is een integratie van klassieke logica met een taalconstructie om veralgemeende inductieve definities voor te stellen. De tweede is een formalisme waarvan de basis-constructie dient om probabilistische events in uit te drukken. Beide logica's zijn ontstaan uit de kennistheoretische studie van het logisch programmeren, de studie van de informele semantiek van dit formalisme en van de rol van LP en uitbreidingen ervan voor kennisrepresentatie.