Diskussion:Logische Programmierung

Theorie

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)

Beispiele

"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)

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)

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)

Überarbeiten

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)

Defekter Weblink

• http://www.cs.mu.oz.au/research/mercury/ (Internet Archive)

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

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

Rule-based programming

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)