Top Qs
Tijdlijn
Chat
Perspectief

Logisch programmeren

Van Wikipedia, de vrije encyclopedie

Remove ads
Remove ads

Logisch programmeren is een vorm van programmeren die valt onder het declaratieve paradigma. Een veelgebruikte logische programmeertaal is Prolog. Ook SQL is een declaratieve taal. Logische talen vinden vooral toepassing in de computationele taalkunde en de 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. Voorbeelden van feiten die voor de interpreter bekend kunnen zijn:

  • Katten hebben een vacht
  • Een vacht bestaat uit haren

De interpreter moet in dit geval antwoord kunnen geven op de vraag "Hebben katten haren?".

Een voorbeeld van een functionele en logische programmeertaal is Curry.

Remove ads

Andere vormen van programmeertalen

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads