Prolog

Eine methodische Einführung

AvPaul Cordes,Paul Schmitz

Häftad, Tyska, 1990

Del i serien Künstliche Intelligenz

588 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1990-01-01
Mått:170 x 244 x 15 mm
Vikt:455 g
Format:Häftad
Språk:Tyska
Serie:Künstliche Intelligenz
Antal sidor:246
Upplaga:2
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783528145842

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

I Reines Prolog.- 1 Fakten und Regeln.- 2 Arbeitsweise des Prologinterpreters.- 3 Grundlagen der Prädikatenlogik.- 4 Grundlagen der logischen Programmierung.- II Prolog — Sprache und Programmierumgebung.- 5 Prädikate mit Seiteneffekten.- 6 Kontrollstrukturen.- 7 Graphische Darstellung von Prologprogrammen.- 8 Arithmetische und relationale Operatoren.- 9 Klassifikation, Analyse und Synthese von Termen.- 10 Terme und Operatoren.- III Datenstrukturen, Algorithmen und Anwendungen.- 11 Listen und Listenoperationen.- 12 Sortierverfahren.- 13 Graphen und Graphsuche.- 14 Symbolmanipulation.- 15 Ein Interpreter für applikative Programme.- 16 Realisierung weiterer Programmierkonzepte in Prolog.- 17 Grammatiken und Sprachen.- 18 Prolog als Implementierungssprache für Expertensysteme.- 19 Fallstudie: Ein Expertensystem für Änderungskonfigurationen.- 20 Ein Spiel mit der Datenbasis: Mastermind.- A. Syntax von Prolog.- B. Benutzung von Prologsystemen.- C. Hardware für Prologsysteme.- D. Turbo-Prolog = Ein Nicht-Standard-Prolog.- E. Begriffsdefinitionen.- F. Lösungen.- Literatur.- Stichwortverzeichnis.- Prädikatsverzeichnis.

Du kanske också är intresserad av

Prolog

Paul Schmitz, Paul Cordes

E-bok

2013

591 kr

Prolog

Ralf Cordes, Paul Schmitz

Häftad, 1992

588 kr

Die Wirksamkeit von Programmiersprachen

Paul Schmitz

Häftad, 1972

588 kr

Software-Qualitätssicherung

Paul Schmitz

E-bok

2013

591 kr

Studien- und Forschungsführer

Rainer Thome, Dietrich Seibt, Paul Schmitz, Uwe Pape, Joachim Griese

E-bok

2013

559 kr

New York's Family Grocer

Paul Schmitz

Inbunden, 2026

402 kr

Software-Qualitätssicherung

Paul Schmitz

Häftad, 1982

588 kr

Die Wirksamkeit von Programmiersprachen

Paul Schmitz

E-bok

2013

591 kr

Everyone Leads

Paul Schmitz

Inbunden, 2011

256 kr

Lineare und linearisierbare Optimierungsmodelle sowie ihre ADV-gestützte Lösung

Paul Schmitz

Häftad, 1978

571 kr

Prolog

Eine methodische Einführung

AvPaul Cordes,Paul Schmitz

Häftad, Tyska, 1990

Del i serien Künstliche Intelligenz

588 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1990-01-01
Mått:170 x 244 x 15 mm
Vikt:455 g
Format:Häftad
Språk:Tyska
Serie:Künstliche Intelligenz
Antal sidor:246
Upplaga:2
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783528145842

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

I Reines Prolog.- 1 Fakten und Regeln.- 2 Arbeitsweise des Prologinterpreters.- 3 Grundlagen der Prädikatenlogik.- 4 Grundlagen der logischen Programmierung.- II Prolog — Sprache und Programmierumgebung.- 5 Prädikate mit Seiteneffekten.- 6 Kontrollstrukturen.- 7 Graphische Darstellung von Prologprogrammen.- 8 Arithmetische und relationale Operatoren.- 9 Klassifikation, Analyse und Synthese von Termen.- 10 Terme und Operatoren.- III Datenstrukturen, Algorithmen und Anwendungen.- 11 Listen und Listenoperationen.- 12 Sortierverfahren.- 13 Graphen und Graphsuche.- 14 Symbolmanipulation.- 15 Ein Interpreter für applikative Programme.- 16 Realisierung weiterer Programmierkonzepte in Prolog.- 17 Grammatiken und Sprachen.- 18 Prolog als Implementierungssprache für Expertensysteme.- 19 Fallstudie: Ein Expertensystem für Änderungskonfigurationen.- 20 Ein Spiel mit der Datenbasis: Mastermind.- A. Syntax von Prolog.- B. Benutzung von Prologsystemen.- C. Hardware für Prologsysteme.- D. Turbo-Prolog = Ein Nicht-Standard-Prolog.- E. Begriffsdefinitionen.- F. Lösungen.- Literatur.- Stichwortverzeichnis.- Prädikatsverzeichnis.