Logisch programmeren

7 belangrijke vragen over Logisch programmeren

Omschrijf het begrip existentiële kwantificatie

Een existentiele kwantor is een taalelement ui de logica -gekoppeld aan een variabel en aan een formule-  dat aangeeft dat de formule waar is voor minstens 1 waarde  van de variabele

Leg uit waarom logisch programmeren in principe van een hoger niveau is dan imperatief en functioneel programmeren


De essentie van een functioneel programma is dat het bij een gegevn functie f de functiewaarde f(a) kan bepalen bij een gegeven a. De essentie van een logisch programma is dat bij een gegeven relatie R (we beperken ons gemakshalve tot een tweeplaatsige relatie):
- kan bepalen  of R(a,b) war is, bij een gegeven a en vb
- alle y kan bepalen waarvoor R(a,y) waar is, bij een gegeven a
- alle x kan bepalen waarvoor R(x,b) waar is, bij een gegeven b
- alle x en y kan bepalen waarvoor R(x,y) waar is

Voorspel welke antwoorden de Prolog-interpretator achtereenvolgens geeft bij een gegeven eenvoudig programma

<TODO>
  • Hogere cijfers + sneller leren
  • Niets twee keer studeren
  • 100% zeker alles onthouden
Ontdek Study Smart

Zet een eenvoudig functioneel programma om in een equivalent Java- en Prolog-programma of geef aan waarom dit niet mogelijk is

<TODO>

Geef aan waarom Prolog-relaties in principe flexibeler zijn dan Haskell-functies en geef aan onder welke voorwaarden deze flexibiliteit ook inderdaad benut worden

<TODO>

Leg uit waarom een toekennigsopdracht te beschouwen is als handmatig uitgevoerde 'garbage collection'

<TODO>

Vergelijk de volgorde van berekening in imperatieve en functionele talen op twee aspecten

<TODO>

De vragen op deze pagina komen uit de samenvatting van het volgende studiemateriaal:

  • Een unieke studie- en oefentool
  • Nooit meer iets twee keer studeren
  • Haal de cijfers waar je op hoopt
  • 100% zeker alles onthouden
Onthoud sneller, leer beter. Wetenschappelijk bewezen.
Trustpilot-logo