Van sequence datalog naar prolog : ondersteuning van path expressions in prolog

Abstract

De probleemstelling hoe we van een eerder theoretisch programmeermodel naar een praktische kunnen gaan. In ons geval is het theoretisch model Sequence Datalog en de praktische programmeertaal is Prolog. Dit situeert zich rondt het werken met sequentiële data en die kunnen manipuleren.

Het probleem is dat Sequence Datalog niet direct uitvoerbaar is in de praktijk omdat dit een theoretisch model is. Een belangrijke feature van Sequence Datalog zijn path expressions en wordt niet standaard ondersteund door Prolog. In een standaard toepassing in Prolog is de feature van path expressions bijna of helemaal niet zichtbaar. Omdat deze feature wel een belangrijk onderdeel is van Sequence Datalog en niet van Prolog is dit een probleem voor het implementeren van uitvoerbare toepassingen vanuit Sequence Datalog naar Prolog. Hiervoor ga ik een oplossing vinden en onderzoeken of deze uitvoerbaar is en goed werkt.

De doelstelling is om de ondersteuning van path expressions in Prolog, zoals die we hebben in Sequence Datalog, niet alleen op een simpele manier te kunnen toepassen maar ook onderzoeken of het effectief werkt in de praktijk. De twee programmeertalen zelf leg ik ook uit. Dan stel ik een oplossing voor m.b.v. voorbeelden en vergelijk ik telkens de drie versies: in Sequence Datalog, in Prolog op de standaard manier en in Prolog met de eigen implementatie van de feature. Hiervoor stel ik verschillende kleinere voorbeelden voor alsook twee grotere toepassingen.