Turbo Prolog Einf Hrung In Die Anwendung

Turbo Prolog — Einführung in die Anwendung

Die Künstliche Intelligenz befaßt sich mit der Nachbildung von intelligentem mensch lichen Verhalten durch Computer. Eines ihrer Teilgebiete ist das Automatische Beweisen, wo die Tätigkeit des Beweisens mathematischer Aussagen, die Tätigkeit von Mathematikern also, simuliert werden soll. Hier stellt man sich die Frage, ob eine Formel (eine Aussage, ein Satz) der Prädikatenlogik aus gewissen vorgegebenen Formeln mechanisch, durch ein Computerprogramm, ableitbar ist. Ein Prolog-Interpreter oder -Compiler (ein Prolog-System) kann aufgefaßt werden als ein solches Ableitungs- oder Beweisprogramm, als ein Inferenzmechanismus, das Prolog Programm selbst als eine Reihe vorgegebener Formeln, als Wissensbasis. Prolog ist ein dialogorientes System: Der Benutzer stellt ein Problem, eine Frage (zu einer Wissensbasis) und erhält eine Antwort, nachdem das Inferenzverfahren die Ableit barkeit aus der Wissensbasis untersucht hat, usw. Prolog ist eine deskriptive (deklarative) Programmiersprache. Ein Programm in Prolog beschreibt ein Problem nur, nennt nur seine Grundregeln und -bedingungen, gibt nur das Problemwissen an. Es schreibt nicht - wie das in konventionellen Programmier sprachen der Fall ist - Schritt für Schritt vor, wie man mit Hilfe des Problemwissens zu einer Problemlösung gelangt. Ein Wissensbasiertes System ist ein Problemlösungsprogramm, das als Komponenten mindestens eine Wissensbasis und einen Inferenzmechanismus beinhaltet. Danach können wir jedes Prolog-Programm zusammen mit seinem Interpreter oder Compiler als Wissensbasiertes System auffassen: Das Programm bildet die Wissensbasis, und das Prolog-System liefert den Inferenzmechanismus. Ein Expertensystem ist ein Wissensbasiertes System, das die Problemlösefahigkeit eines Experten simuliert.

Programmieren mit TURBO BASIC

Turbo Pascal unter MS-DOS

Die Programmiersprache Pascal wurde von Prof. Nikolaus Wirth (1974) gezielt für den Einsatz in der Ausbildung entwickelt. Ihre Stärken sind u. a. die problemorientierten Datentypen und viele zweckmäßige, darauf ange paßte Operationen. Die Sprache Pascal unterstützt optimal ein strukturiertes Programmieren und ist leicht zu erlernen, daher hat sie sich weitgehend im Bereich der Ausbildung und auch in der Anwendung durchgesetzt. Seit einigen Jahren ist diese vielseitige und sichere Sprache in ihrem vollen Umfang auch auf Personal Computern (PC) lauffähig. Und seit der Entwick lung des Sprachsystems Turbo Pascal (1983) ist für das Programmieren in Pascal eine optimale Programmierumgebung verfügbar. Eine hilfreiche Programmierumgebung ist vor allem für den Anfänger bedeut sam: Man erlernt eine Programmiersprache umso leichter, je besser man dabei vom Sprachsystem unterstützt wird. Das Sprachsystem Turbo Pascal zeichnet sich durch eine besondere Benutzerfreundlichkeit aus und weist viele weitere Vorzüge auf. Die einfache Kommandostruktur, der erstaunlich schnelle Compiler und der hervorragende Editor, der beim Compilieren auto matisch zur Fehlerbeseitigung herangezogen wird, machen den Zugang zum Programmieren in Pascal so einfach, wie man es vorher nur von BASIC Systernen gewohnt war. Nicht nur der Einsteiger wird durch das Sprachsystem gut unterstützt. Auch der Programmierer, der anspruchsvolle und umfangreiche Programme struk turiert schreiben will, weiß die Vorzüge des Compilers von Turbo Pascal zu schätzen. Beim Schreiben komplexer Programme kommen die Stärken der Sprache Pascal und die Unterstützung durch das System Turbo Pascal voll zur Geltung.