Essays about: "prolog"

Showing result 11 - 12 of 12 essays containing the word prolog.

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

    University essay from Institutionen för datavetenskap

    Author : Anders Lindahl; Mattias Svensson; [2004]
    Keywords : Datalogi; Infinite sequences; Alternating automata; Complementation; Omega-regular; Büchi automata; Datalogi;

    Abstract : 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. READ MORE

  3. 12. Tracing and Explaining the Execution of CLP(FD) Programs in SICStus Prolog

    University essay from RISE./SICS

    Author : Magnus Ågren; [2002]
    Keywords : ;

    Abstract : 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. READ MORE