Logisch programmeren
7 belangrijke vragen over Logisch programmeren
Omschrijf het begrip existentiële kwantificatie
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
- Hogere cijfers + sneller leren
- Niets twee keer studeren
- 100% zeker alles onthouden
Zet een eenvoudig functioneel programma om in een equivalent Java- en Prolog-programma of geef aan waarom dit niet mogelijk is
Geef aan waarom Prolog-relaties in principe flexibeler zijn dan Haskell-functies en geef aan onder welke voorwaarden deze flexibiliteit ook inderdaad benut worden
Leg uit waarom een toekennigsopdracht te beschouwen is als handmatig uitgevoerde 'garbage collection'
Vergelijk de volgorde van berekening in imperatieve en functionele talen op twee aspecten
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