𝔖 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
1992
Tongue
German
Leaves
247
Series
Artificial Intelligence / Künstliche Intelligenz
Edition
3
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 51-51
Prädikate mit Seiteneffekten....Pages 52-63
Kontrollstrukturen....Pages 64-72
Graphische Darstellung von Prologprogrammen....Pages 73-80
Arithmetische und relationale Operatoren....Pages 81-86
Klassifikation, Analyse und Synthese von Termen....Pages 87-93
Terme und Operatoren....Pages 94-101
Front Matter....Pages 103-103
Listen und Listenoperationen....Pages 104-114
Sortierverfahren....Pages 115-121
Graphen und Graphsuche....Pages 122-130
Symbolmanipulation....Pages 131-141
Ein Interpreter für applikative Programme....Pages 142-149
Realisierung weiterer Programmierkonzepte in Prolog....Pages 150-157
Grammatiken und Sprachen....Pages 158-166
Prolog als Implementierungssprache für Expertensysteme....Pages 167-178
Fallstudie: Ein Expertensystem für Änderungskonfigurationen....Pages 179-191
Front Matter....Pages 103-103
Ein Spiel mit der Datenbasis: Mastermind....Pages 192-197
Back Matter....Pages 199-238

✦ Subjects


Computer Science, general


📜 SIMILAR VOLUMES


Prolog: Eine methodische Einführung
✍ Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust (auth.), Paul Schmi 📂 Library 📅 1988 🏛 Vieweg+Teubner Verlag 🌐 German
Prolog: Eine methodische Einführung
✍ Ralf Cordes, Rudolf Kruse, Horst Langendörfer, Heinrich Rust (auth.), Paul Schmi 📂 Library 📅 1990 🏛 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