Sökning: "ProLog"

Visar resultat 21 - 25 av 25 uppsatser innehållade ordet ProLog.

  1. 21. Complementation of Büchi automata: A survey and implementation

    Uppsats för yrkesexamina på grundnivå, Institutionen för datavetenskap

    Författare :Anders Lindahl; Mattias Svensson; [2004]
    Nyckelord :Datalogi; Infinite sequences; Alternating automata; Complementation; Omega-regular; Büchi automata; Datalogi;

    Sammanfattning : This thesis is a survey of the field of languages over infinite sequences. There is active research going on in this field, during the last year several new results where published. We investigate the language containment problem for infinite sequences, with focus on complementation of Büchi automata. LÄS MER

  3. 22. An implementation of a rational, reactive agent

    Uppsats för yrkesexamina på grundnivå, Institutionen för teknik och naturvetenskap

    Författare :Mattias Engberg; [2003]
    Nyckelord :Technology; Agent; logic; ProLog; reactive; rational; Java; TEKNIKVETENSKAP;

    Sammanfattning : We are working on the development and design of an approach to agents that can reason, react to the environment and are able to update their own knowledge as a result of new incoming information. In the resulting framework, rational, reactive agents can dynamically change their own knowledge bases as well as their own goals. LÄS MER

  4. 23. Tracing and Explaining the Execution of CLP(FD) Programs in SICStus Prolog

    Master-uppsats, RISE./SICS

    Författare :Magnus Ågren; [2002]
    Nyckelord :;

    Sammanfattning : The increasing interest in Constraint Programming (CP) we now witness gives rise to a demand for new and improved debugging techniques. Graphical tools, such as constraint- and search-tree visualizers, seem to be appropriate to get a general understanding of the complex process of constraint solving. LÄS MER

  5. 24. En studie om HTML och XML : Blir det en förbättrad struktur i dokumenten med XML jämfört med HTML?

    Kandidat-uppsats, Blekinge Tekniska Högskola/Institutionen för programvaruteknik och datavetenskap

    Författare :Ulrika Malmberg; Thomas Lorentzon; [2001]
    Nyckelord :XML; HTML; grundläggande dokumentstruktur; XML och HTMLs historik;

    Sammanfattning : Problemområde: I dag utvecklas nästan alla webbsidor på Internet med märkspråket HTML. XML är ett nytt märkspråk och används bland annat för att utveckla webbsidor. Uppsatsen undersöker skillnader mellan de båda märkspråkens grundläggande dokumentstruktur. LÄS MER

  7. 25. Tokbalk: ett konstruktionshjälpmedel. En tillämpning av Artificiell Intelligens med programspråket Prolog.

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Avdelningen för Konstruktionsteknik; Lunds universitet/Väg- och vattenbyggnad (CI)

    Författare :Kalle Trulsson; Thomas Björklund; [1988]
    Nyckelord :Technology and Engineering;

    Sammanfattning : .... LÄS MER