Logisch programmeren
Van Wikipedia
Logisch programmeren is een vorm van programmeren die valt onder de declaratieve paradigma. Een veelgebruikte logische programmeertaal is Prolog. Logische talen vinden vooral toepassing in de Computationele Taalkunde en Kunstmatige Intelligentie. Inductief logisch programmeren is een andere vorm van logisch programmeren.
In een deductieve logische programmeertaal valt het redeneerproces schematisch weer te geven als feiten + regels = resultaten. De compiler/interpreter is op de hoogte van een aantal feiten, en probeert aan de hand van regels een antwoord te geven op een vraag die aan hem wordt gesteld. Je kan je bijvoorbeeld voorstellen dat de volgende feiten aan de interpreter bekend zijn:
- Katten hebben een vacht
- Een vacht bestaat uit haren
De interpreter moet dan antwoord kunnen geven op de vraag "Hebben katten haren?".
