Logikorientierte Programmierung - eine Vorschau

Die Logikorientierte Programmierung ist eines der grundlegenden Programmierparadigmen. Als konkrete Programmiersprache verwenden wir Prolog (programmation en logique), den bekanntesten Vertreter, gemeinsam mit den neuesten Erweiterungen - Constraints.

Die folgenden Bilder sind dem an unserem Institut entwickelten System GUPU entnommen, das wir in Logikorientierte Programmierung verwenden. Diese Vorschau als PDF.


[logprog|GUPU|UWN]