At the Eotvos Lorand University (Budapest) we have two courses on Prolog programming, especially ... more At the Eotvos Lorand University (Budapest) we have two courses on Prolog programming, especially for program designer (MsC) students. Our main objective is to help the students find the subproblems in their projects to be solved with Prolog, and enable them to write the necessary code. At first our main concern is to give clear notions. Next we focus on the technical details of writing small programs. Then we incorporate the questions raised by developing big applications. In our first course we give an overview of the history of logic programming (LP). We introduce the basic notions of this area, and we discuss the widely used LP language, Prolog, emphasizing a kind of pragmatic programming methodology which helps us to develop correct and effective programs. We talk many short examples over, in order to make the students feel the taste of LP in small. In our second course we focus on writing bigger programs and using advanced Prolog programming techniques like generate and test te...
At the Eotvos Lorand University (Budapest) we have two courses on Prolog programming, especially ... more At the Eotvos Lorand University (Budapest) we have two courses on Prolog programming, especially for program designer (MsC) students. Our main objective is to help the students find the subproblems in their projects to be solved with Prolog, and enable them to write the necessary code. At first our main concern is to give clear notions. Next we focus on the technical details of writing small programs. Then we incorporate the questions raised by developing big applications. In our first course we give an overview of the history of logic programming (LP). We introduce the basic notions of this area, and we discuss the widely used LP language, Prolog, emphasizing a kind of pragmatic programming methodology which helps us to develop correct and effective programs. We talk many short examples over, in order to make the students feel the taste of LP in small. In our second course we focus on writing bigger programs and using advanced Prolog programming techniques like generate and test te...
Uploads
Papers by Tibor Tibor