| 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
|
| 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 19 juni t/m 2 juli 2017. De (eventuele) werkgroep intekening in Nestor is open van 4 juli 07.00 uur t/m 16 juli 23.59 uur. Recidivisten die alleen tentamen hoeven te maken wordt ontmoedigd om zich aan te melden voor het vak in Progress. Zij kunnen door het secretariaat worden toegevoegd aan de cursus in Nestor. Je kunt hiervoor een mail sturen naar seccnl@rug.nl. 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