Ulrich Neumerkel

Sprechstunde. Mittwoch 15h00 (während des Semesters im Laborraum im Erdgeschoß).

Lehrveranstaltungen.

• Seminar Inferenzmaschinen
• Logikprogrammierung und Constraints
• Logikorientierte Programmierung, Tutoreninformation
• Fortgeschrittene logikorientierte Programmierung
• Prolog und logikorientierte Programmierung
• Garbage Collection Algorithmen, Seminar
• Praktika und Diplomarbeiten

Projects. Logic Programming:

• ISO-Prolog. Editor of ISO/IEC 13211-1.
• Teleteaching systems like GUPU (featuring a guided tour).
• Prolog program analysis and transformation techniques. Slicing. Termination inference with cTI.
• Implementation techniques for logic programming languages.
• Knowledge based systems like Syllog of IBM Watson Research.

Here are some papers and slides. And here is comp.lang.prolog.

Linux. Linux-Tips

Privates. Rudolfs erste Datei erstellt mit 6 1/2 Monaten am 23.März 1996! Annas Text vom 1.Juni 1996!