Diskussion:Logische Programmierung

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 10 Jahren von Bin im Garten in Abschnitt Rule-based programming
Zur Navigation springen Zur Suche springen

Theorie

[Quelltext bearbeiten]

Hier sollte man auf den theoretischen Background eingehen, wie z.b.:

  • unifikation
  • baumartige verarbeitung
  • backtracking

Ausserdem:

  • Nutzen
  • Aufwand
  • Was ist möglich bzw nicht möglich?

falls ich mal zeit haben sollte, werd ich schonmal anfangen :P --Humbrie 15:53, 21. Dez 2004 (CET)


Weitere (mögliche) Themen / Aspekte:

  • Resolution ( als Ergänzung von Unifikation )
  • Tiefensuche ( zur Ergänzung von Breitensuche )
  • Datenbasis ( zur Vervollständigung der verwendeten Terminologie )
  • Klauseln ( im Zusammenhang mit Fakten )

--Max0913 09:10, 24. Jun. 2008 (CEST)Beantworten


Beispiele

[Quelltext bearbeiten]

"Die bekanntesten regelbasierten Sprachen sind Prolog und XSLT." Ich würde XSLT nicht als Logikprogrammiersprache sondern als funktionale Programmiersprache einordnen. Anstelle von XSLT könnte man OWL-DL + SWRL + SPARQL-DL stellen. --pindar 13:06, 2. Feb. 2009 (CET)Beantworten

XSLT gehört tatsächlich nicht hierher. In diesem Artikel geht es munter durcheinander: Logische Programmierung und Regelbasierte Programmierung werden hier austauschbar gebraucht, was gar nicht gut ist. Die Teile, die hier die „regelbasierte Programmierung“ beschreiben, gehören eigentlich nach Deklarative Programmierung – wo sie größtenteils schon stehen, z.B. XSLT. Also würde ich hier einfach wegschmeißen, was doppelt ist. OWL-DL selbst ist ja keine Programmiersprache, sondern ein Datenformat. Aber SWRL und SPARQL gehören wahrscheinlich hierher. --Thüringer ☼ 15:46, 2. Feb. 2009 (CET)Beantworten
Dann werde ich mal anfangen aufzuräumen. OWL-DL alleine meinte ich auch nicht, sondern nur in Kombination mit SWRL und als Abfrage entsprechend SPARQL. Denn meiner Meinung nach würde OWL die Fakten darstellen, SWRL die Erweiterung um Quantoren und SPARQL-DL die Abfrage dieses Modells -- Ähnlich Prolog, nur dort ist alles innerhalb einer Sprache vereint. --pindar 00:27, 3. Feb. 2009 (CET)Beantworten

Überarbeiten

[Quelltext bearbeiten]

Ich habe den Abschnitt Besonderheiten regelbasierter Programmiersprachen in Besonderheiten logischer Programmiersprachen umbenannt (denn darum geht es hier), den Anfang davon überarbeitet, den Rest auskommentiert (der lauter Halbwahrheiten enthielt) und einen Überarbeiten-Baustein reingesetzt. Wenn jemand Informationen aus dem auskommentierten Bereich wichtig findet, möge er/sie diese belegen und in den Abschnitt einarbeiten. Ansonsten können der auskommentierte Bereich und der Baustein von mir aus gern bald gelöscht werden. --Thüringer ☼ 10:42, 3. Feb. 2009 (CET)Beantworten

[Quelltext bearbeiten]

GiftBot (Diskussion) 00:50, 24. Sep. 2012 (CEST)Beantworten

Mercury Weblink ersetzt durch Mercury (Programmiersprache) Siehe auch --Thoken (Diskussion) 12:14, 24. Sep. 2012 (CEST)Beantworten

Rule-based programming

[Quelltext bearbeiten]

Und was ist mit regelbasierter Programmieung? Gehört das nicht auch mit zum Thema? Konnte dazu nichts im Artikel finden. --Bin im Garten (Diskussion) 14:35, 24. Dez. 2013 (CET)Beantworten