Logische und Funktionale Programmierung

Grundlagen einer Kombination

Häftad, Tyska, 1991

Av Ulrich Furbach

759 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1991-01-01
Mått170 x 244 x 10 mm
Vikt302 g
FormatHäftad
SpråkTyska
SerieKünstliche Intelligenz
Antal sidor159
Upplaga1991
FörlagSpringer Fachmedien Wiesbaden
ISBN9783528051273

Tillhör följande kategorier

0 Einführung.- 1 Hornklausellogik als Programmiersprache.- 1.1 Die Sprache der Hornklauseln: Syntax und Semantik von HCL.- 1.2 Behandlung der Gleichheit.- 1.3 HCL-Programme mit Gleichheit.- 2 Die Kombination von HCL und funktionalen Sprachen.- 2.1 Formale Spezifikation der Kombination.- 2.2 Erweiterte Unifikation.- 2.3 Erweiterte Resolution.- 2.4 Korrektheit.- 2.5 Vollständigkeit.- 2.6 Beispiele aus der Literatur.- 3 Das FHCL-Programmiersystem.- 3.1 Die Sprache.- 3.2 Erweiterte Unifikation und Resolution in FHCL.- 3.3 Inverse Funktionen.- 3.4 Systemumgebung.- 3.5 Ein FHCL-Beispiel.- 4 Parallelisierung von HCL.- 4.1 ODER-Parallelität.- 4.2 FHCL auf Mehrprozessorsystemen.- 5 Termersetzungssysteme im FHCL-Schema.- 5.1 Termersetzungssysteme als funktionale Sprache.- 5.2 Von Hornklausellogik zu Termersetzungssystemen.- 5.3 Einordnung ins FHCL-Schema und Diskussion.- 6 Sortierte Hornklauseln.- 6.1 Mehrsortigkeit.- 6.2 Sortenhierarchien.- 6.3 Syntaktischer Zucker.- 6.4 Attribute und Vererbung.- 6.5 Gleichungen vs. Relativierung.- 7 Eine Anwendung: Smoothsort.- 7.1 Transformationelle Programmentwicklung.- 7.2 Entwicklung von Smoothsort.- 7.3 Lehren daraus.- 8 Zusammenfassung.- 9 Anhang.- Literatur.- Sachwortverzeichnis.

Mer från samma författare

Computational Intelligence in Data Science

Del 578

Computational Intelligence in Data Science

Aravindan Chandrabose, Ulrich Furbach, Ashish Ghosh, Anand Kumar M.

1 409 kr

Computational Intelligence in Data Science

Del 578

Computational Intelligence in Data Science

Aravindan Chandrabose, Ulrich Furbach, Ashish Ghosh, Anand Kumar M.

1 409 kr

KI 2005: Advances in Artificial Intelligence

KI 2005: Advances in Artificial Intelligence

719 kr

Automated Reasoning

Automated Reasoning

Ulrich Furbach, Natarajan Shankar

1 459 kr

Logic Programming and Nonmonotonic Reasoning

Logic Programming and Nonmonotonic Reasoning

Ulrich Furbach, Anil Nerode

739 kr

Logics in Artificial Intelligence

Logics in Artificial Intelligence

F. L. del Cerro, U. Furbach, Farinas Luis Del Cerro, Ulrich Furbach

719 kr

Computational Logic — CL 2000

Computational Logic — CL 2000

John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey

739 kr

IRobot - uMan

IRobot - uMan

Ulrike Barthelmeß, Ulrich Furbach

409 kr

Künstliche Intelligenz aus ungewohnten Perspektiven

Künstliche Intelligenz aus ungewohnten Perspektiven

Ulrike Barthelmeß, Ulrich Furbach

539 kr

Different Look at Artificial Intelligence

Different Look at Artificial Intelligence

Ulrike Barthelmeß, Ulrich Furbach

639 kr

Du kanske också är intresserad av