Abstrakt. CLPGUI är ett generiskt grafiskt användargränssnitt för att visualisera och kontrollera genomförandet av begränsningslogikprogram. CLPGUI har utformats för att användas i olika sammanhang: initialt för undervisningsändamål, sedan för avlusning av komplexa program i verklig skala, och nyligen för att utveckla gränssnitt för slutanvändare. Utmaningen med att utveckla ett verktyg som är generiskt w.r.t. både begränsningslogiken programmeringssystem och visualisatorer, behandlas av en klient-server arkitektur för att ansluta en CLP-process till en Javabaserad GUI-process, och genom en icke-inträngande spårning och kontroll metod baserad på anteckningar i CLP-programmet. Skiljemässiga begränsningar och mål kan läggas upp stegvis från det grafiska gränssnittet på ett interaktivt sätt, och godtyckliga stater kan recomputeras. Vi beskriver flera generiska 2D- och 3D-tittare av variablerna och av sökträdet, och hävdar att 3D-representationen är bäst lämpad att gripa formen av stora sökträd. Vi illustrerar också användningen av CLPGUI för att utveckla applikationsorienterade slutanvändargränssnitt på två placeringsproblem, ett i virtuell verklighet. Nyckelord: begränsning programmering, visualisering, program annotation, GUI, sökträd, felsökning Flera verktyg för att visualisera genomförandet av begränsningsprogram har utvecklats under de senaste åren. Dessa verktyg har visat sig vara mycket användbara för felsökning och förbättring av begränsningar program, och för undervisning begränsning programmering. Man kan urskilja: À À efter slakt visualisering verktyg, dessa verktyg används efter genomförandet av programmet, programmet kommenteras med specifikationer av informationen att spåra. Detta tillvägagångssätt genomförs till exempel i CHIP- eller CIAO-system, det gör det möjligt att använda en mängd olika tittare, inklusive både programorienterade verktyg [23], och generiska verktyg, för att visualisera sökträdet [5, 21]
Till exempel, Fages et al., har utvecklat ett generiskt grafiskt användargränssnitt (CLPGUI) för att visualisera och kontrollera logiska program REF.
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming
{'venue': 'Constraints', 'journal': 'Constraints', 'mag_field_of_study': ['Computer Science']}