𝔖 Scriptorium
✦   LIBER   ✦

📁

Prolog: Eine methodische Einführung

✍ Scribed by Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust (auth.), Paul Schmitz (eds.)


Publisher
Vieweg+Teubner Verlag
Year
1988
Tongue
German
Leaves
239
Series
Artificial Intelligence / Künstliche Intelligenz
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents


Front Matter....Pages I-IX
Einleitung....Pages 1-8
Front Matter....Pages 9-9
Fakten und Regeln....Pages 10-15
Arbeitsweise des Prologinterpreters....Pages 16-23
Grundlagen der Prädikatenlogik....Pages 24-36
Grundlagen der logischen Programmierung....Pages 37-49
Front Matter....Pages 50-50
Prädikate mit Seiteneffekten....Pages 51-62
Kontrollstrukturen....Pages 63-71
Graphische Darstellung von Prologprogrammen....Pages 72-79
Arithmetische und relationale Operatoren....Pages 80-85
Klassifikation, Analyse und Synthese von Termen....Pages 86-92
Terme und Operatoren....Pages 93-100
Front Matter....Pages 101-101
Listen und Listenoperationen....Pages 102-112
Sortierverfahren....Pages 113-119
Graphen und Graphsuche....Pages 120-128
Symbolmanipulation....Pages 129-139
Ein Interpreter für applikative Programme....Pages 140-147
Realisierung weiterer Programmierkonzepte in Prolog....Pages 148-155
Grammatiken und Sprachen....Pages 156-164
Prolog als Implementierungssprache für Expertensysteme....Pages 165-176
Ein Spiel mit der Datenbasis: Mastermind....Pages 177-182
Back Matter....Pages 183-230

✦ Subjects


Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering/Programming and Operating Systems


📜 SIMILAR VOLUMES


Prolog: Eine methodische Einführung
✍ Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust (auth.), Paul Schmi 📂 Library 📅 1990 🏛 Vieweg+Teubner Verlag 🌐 German
Prolog: Eine methodische Einführung
✍ Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust (auth.), Paul Schmi 📂 Library 📅 1992 🏛 Vieweg+Teubner Verlag 🌐 German
Dekoloniale Kunstgeschichte: Eine method
✍ Carolin Overhoff Ferreira 📂 Library 📅 2022 🏛 Deutscher Kunstverlag (DKV) 🌐 German

<p>This book is a long overdue study of art history from a decolonial perspective. It first presents decoloniality as a new definition of the modern era, in which the conquering of the Americas and the Atlantic are central. The study of art of the last 2,500 years is shown to be part of the European

Vertragsgestaltung: Eine methodisch-dida
✍ Carsten Kunkel (auth.) 📂 Library 📅 2016 🏛 Springer-Verlag Berlin Heidelberg 🌐 German

<p><p>Das Werk versetzt den Leser zielgerichtet in die Lage, einen Vertrag von Grund auf selbst zu gestalten. Es vermittelt sowohl die Methodik als auch die einzelnen technischen Fertigkeiten von der Strukturierung, über die Vertragsverhandlung bis hin zur Niederschrift von Vertragswerken. Die theor