Ulrich Neumerkel

Sprechstunde. Mittwoch, 15h im Laborraum EAEG19.

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. Convenor of ISO/IEC JTC1 SC22 WG17. 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 Prolog on SO.

Linux. Linux-Tips

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