Prolog
Um eine besondere Programmiersprache zu behandeln, folgt hier ein ganz besonderer Inhalt: Prolog.
Ein Logik-Spaß:
Prolog ist eine deklarative Programmiersprache, die sich von den bekannten imperativen Sprachen wie C oder Java stark unterscheidet. Hier eine kurze Erklärung in 8 Sätzen:
1. Prolog basiert auf Logik und Regeln, anstatt auf Befehlen: Im Programm stehen meist "Fakten" und mindestens eine "Regel". 2. Stattdessen definiert man Fakten und Regeln, aus denen die Programmiersprache dann Schlussfolgerungen zieht. 3. Sie ist besonders gut geeignet für Probleme, die sich durch logische Beziehungen und Regeln beschreiben lassen, wie Expertensysteme oder Planungsprobleme.
4. Im Gegensatz zu anderen Sprachen muss man in Prolog nicht den genauen Ablauf eines Programms vorgeben; stattdessen beschreibt man, was erreicht werden soll, und sie findet selbstständig einen Weg dorthin. 5. Prolog verwendet eine spezielle Syntax mit Klauseln, Prädikaten und Variablen. 6. Das erfordert etwas Umgewöhnung für Anfänger, bietet aber auch Vorteile wie eine kompakte Darstellung komplexer Probleme. 7. Prolog ist eine sehr alte Sprache, die in den 1970-ern entwickelt wurde. 8. Obwohl sie heute nicht mehr so weit verbreitet ist wie moderne Sprachen, wird sie immer noch in Forschung und Entwicklung eingesetzt.
Um es einmal aufzuschreiben: Am Anfang des Codes stehen hier einige Fakten. Diese sind ein wenig ähnlich wie Initialisierungen von Variablen. Die "Logik" muss formuliert werden: im Code steht mindestens eine "Regel", nach der quasi gerechnet wird. Das ist ähnlich wie ein Algorithmus. Am Ende stellt man dem Programm eine Frage oder mehrere Fragen. Zum Beispiel: "Ist Sokrates sterblich?"
Prolog gehört zu den logischen Programmiersprachen und basiert auf einem anderen Programmierparadigma als imperative Sprachen wie C oder BASIC. Statt einer Folge von Anweisungen zur Manipulation von Variablen, verwendet Prolog eine deklarative Herangehensweise, bei der Fakten und Regeln definiert werden. Trotz seines Alters ist die Programmiersprache nach wie vor ein wichtiger Standard in der logischen Programmierung und findet auch industriell Anwendung als ISO-Standard. Es wird insbesondere in Bereichen der Künstlichen Intelligenz eingesetzt.
Aktuell
Jetzt - Ostern 2024 - gab es etwas ganz Besonderes im Internet: einen Angriff auf die Linux-Welt.