Skip to main content

2021 | OriginalPaper | Buchkapitel

5. Logikprogrammierung mit Prolog

verfasst von : Wolfgang Ertel

Erschienen in: Grundkurs Künstliche Intelligenz

Verlag: Springer Fachmedien Wiesbaden

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Zusammenfassung

Die Logikprogrammierung nutzt Beweisverfahren um aus einer Wissensbasis Anfragen abzuleiten. Die Hoffnung, damit von der prozeduralen zu einer rein deklarativen Programmierung zu kommen, wird durch Prolog leider nicht zufriedenstellend erfüllt, weshalb Prolog heute keine wichtige Rolle mehr spielt. Sehr elegant gelingt das hingegen mit dem in Abschn. 5.7 vorgestellten Constraint Logic Programming.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Die Konstanten wurden aus Platzgründen abgekürzt.
 
Literatur
[Bra86]
Zurück zum Zitat Bratko, I.: PROLOG: Programmierung für Künstliche Intelligenz. Addison-Wesley, 1986 Bratko, I.: PROLOG: Programmierung für Künstliche Intelligenz. Addison-Wesley, 1986
[CM94]
Zurück zum Zitat Clocksin, W. F. ; Mellish, C. S.: Programming in Prolog. 4. Berlin, Heidelberg, New York : Springer, 1994 Clocksin, W. F. ; Mellish, C. S.: Programming in Prolog. 4. Berlin, Heidelberg, New York : Springer, 1994
[Wie04]
[RN03]
Zurück zum Zitat Russell, S. ; Norvig, P.: Artificial Intelligence: A Modern Approach. 2. Prentice Hall, 2003. – 1. Auflage 1995, deutsche Übersetzung der 3. Auflage 2012 bei Pearson Studium, http://aima.cs.berkeley.edu Russell, S. ; Norvig, P.: Artificial Intelligence: A Modern Approach. 2. Prentice Hall, 2003. – 1. Auflage 1995, deutsche Übersetzung der 3. Auflage 2012 bei Pearson Studium, http://​aima.​cs.​berkeley.​edu
[CEP15b]
Zurück zum Zitat Cubek, R. ; Ertel, W. ; Palm, G.: High-Level Learning from Demonstration with Conceptual Spaces and Subspace Clustering. In: Proceedings of the 2015 IEEE International Conference on Robotics and Automation (ICRA), Seattle, Washington, 2015 Cubek, R. ; Ertel, W. ; Palm, G.: High-Level Learning from Demonstration with Conceptual Spaces and Subspace Clustering. In: Proceedings of the 2015 IEEE International Conference on Robotics and Automation (ICRA), Seattle, Washington, 2015
[CEP15a]
Zurück zum Zitat Cubek, R. ; Ertel, W. ; Palm, G.: A Critical Review on the Symbol Grounding Problem as an Issue of Autonomous Agents. In: Proceedings of the 38th German Conference on Artificial Intelligence (KI), Dresden, Germany, 2015 Cubek, R. ; Ertel, W. ; Palm, G.: A Critical Review on the Symbol Grounding Problem as an Issue of Autonomous Agents. In: Proceedings of the 38th German Conference on Artificial Intelligence (KI), Dresden, Germany, 2015
[Fre97]
Zurück zum Zitat Freuder, E.: In Pursuit of the Holy Grail. In: Constraints 2 (1997), Nr. 1, S. 57–61 Freuder, E.: In Pursuit of the Holy Grail. In: Constraints 2 (1997), Nr. 1, S. 57–61
Metadaten
Titel
Logikprogrammierung mit Prolog
verfasst von
Wolfgang Ertel
Copyright-Jahr
2021
DOI
https://doi.org/10.1007/978-3-658-32075-1_5