| Uitgebreide vaknaam |
Logisch Programmeren |
| Leerdoelen |
Na afronding van deze module is de student vertrouwd met de basisterminologie en data-structuren van logisch programmeren en kan deze ook op de juiste manier toepassen. De student is bekend met typische technieken van logisch programmeren zoals unificatie, recursie en backtracking. De student is verder bekend met zoekstrategieën en is in staat deze te optimaliseren. De student kan (eenvoudige) Prolog programma?s analyseren en op juistheid controleren en kan zelf ook (kleine) Prolog programma?s schrijven voor niet-triviale problemen (bijvoorbeeld logische puzzels). |
| Omschrijving |
Dit college geeft een inleiding in de programmeertaal Prolog. Prolog staat voor ´programmeren in logica´, en deze relatie tussen Prolog en logica geeft Prolog een speciaal karakter. Het idee achter logisch programmeren is het volgende: vertel een computer niet wat je wilt doen, maar beschrijf de situatie (een verzameling feiten en regels) waarin je geïnteresseerd bent. Prolog geeft de computer de mogelijkheid nieuwe feiten te extraheren van de situatie die beschreven wordt. Prolog wordt daarom ook wel een declaratieve programmeertaal genoemd. In het college komen de basisconstructies van Prolog aan de orde, zoals logische databases, recursie, unificatie en zoekstrategieën van logisch programmeren. De leerstof wordt geoefend aan de hand van concrete programmeeropdrachten. |
| Uren per week |
4 |
| Onderwijsvorm |
hoorcollege, werkcollege
|
| Toetsvorm |
programmeeropdrachten
|
| Vaksoort |
bachelor jr 2
|
| Coördinator |
prof. dr. J. Bos
|
| Docent(en) |
prof. dr. J. Bos
, student-assistent
|
| Verplichte literatuur |
| Titel |
Auteur |
ISBN |
Prijs |
| Learn Prolog Now!, College Publications, London, UK. |
P. Blackburn, J.Bos & K. Striegnitz |
1-904987-17-6 |
ca.
€
18,00
|
|
| Entreevoorwaarden |
45 ECTS van de propedeuse. |
| Opmerkingen |
Progress is open van 18 juni tot en met 6 juli. De (eventuele) werkgroep intekening in Nestor is open van 11 juli december 07.00 uur t/m 22 juli 23.59 uur. De faculteit behoudt zich het recht voor wijzigingen aan te brengen in het vakaanbod, het aantal groepen en de roostering. |
| Opgenomen in |
|
Login
English
Nederlands