Diskussion:Prolog (Programmiersprache)

message: Das Aufrufen von http://cs305.com/book/programming_languages/Conf-01/HOPLII/p331-colmerauer.pdf gibt 509 Bandwidth Limit Exceeded. (nicht signierter Beitrag von 78.54.98.110 (Diskussion) 15:00, 14. Jun. 2013 (CEST)
thread_title:  Toter Link 

message: Zitat:
    grossvater(X,Y) :-
        mutter(X,Z),
        vater(Z,Y).
Frage: kann ein Großvater gleichzeitig eine Mutter sein?
:Das Beispiel war wohl die Großmutter väterlicherseits. Geändert. -- Ben-Zin
:: Das ist eine Frage der Sichtweise. Man kann es auch so lesen: Y ist der Grossvater von X, wenn Y der Vater der Mutter Z von X ist. Nach der Erklärung im Text ist es aber falsch. -- guwac 21:11, 6. Mär 2005 (CET)
replies: text: Ja, mein erster Gedanken beim Lesen des Artikels war auch: wenn ich Zeit habe, schreibe ich einen Abschnitt über außerlogische Prädikate. Wo hast du diese Meinung schon mal vertreten, und was wurde dagegen gesagt? -- Tian 16:52, 1. Apr 2005 (CEST)
replies: text: Ich denke nicht, dass es Einwände dagegen gibt, nur die meisten, die mit Prolog zu tun haben kennen halt nur die Grundlagen und können nicht mehr beitragen. Also nur zu ;) --APPER\☺☹ 18:02, 1. Apr 2005 (CEST)

text:  Hatte diese Meinung auf Wikipedia:Kandidaten für lesenswerte Artikel vertreten, aber dort wieder gelöscht. Reaktionen gab es in der kurzen Zeit keine. Der Artikel hat wirklich noch große Lücken. Ich schätze, dass er jetzt nur etwa 25% eines möglichen exzellenten Artikels umfasst.  --Zahnstein 19:16, 1. Apr 2005 (CEST)
replies: text: Ach so, ich hatte das so verstanden, dass es Widerspruch gab. Wie geschrieben: wenn ich Zeit habe. Vielleicht hat es bis dahin ja jemand gemacht, der das besser kann... -- Tian 17:15, 4. Apr 2005 (CEST)
thread_title:  Familienverhältnisse 

message: ich wage es mal, eine Programmiersprache reinzustellen. Ich finde, der Artikel stellt schön knapp das wesentliche der Sprache dar. Vorbildlich sind auch Literatur und Weblinks. Deshalb von mir ein pro. --Kurt seebauer 18:03, 30. Mär 2005 (CEST)
thread_title:  lesenswert-Diskusion 

message: Eine der interessantesten Anwendungen von Prolog ist die Verarbeitung von XML. Ich würde dazu gern etwas im Artikel ergänzen (inklusive wie diese funktioniert). Gibt es dagegen prinzipielle Einwände, insbesondere bezüglich des Prädikates "Lesenwerter Artikel"? Leopold 20:47, 15. Jun 2005 (CEST)
replies: text: Sieht gut aus. --Zahnstein 21:42, 17. Jun 2005 (CEST)

text: Ich bin nicht so von überzeugt. Es ist eine von vielen Anwendungsmöglichkeiten. In den Bereichen KI und Expertensysteme spielt Prolog eine Rolle, die hier viel eher einer Begutachtung unterliegen sollte, als die Behandlung von XML. Auch weiss ich nicht, ob ich unterschreiben würde, dass es "eine der wichtigsten Aufgaben einer Programmiersprache" sei, XML zu verarbeiten. Die dargestellten Transformationen sind zudem völlig unabhängig von XML. Sie beziehen sich einfach auf hierarchische Strukturen. Sowas gab es schon vor XML und wird es auch ohne XML in Prolog immerwieder geben. Meine Kritik entsteht vor allem dadurch, dass wesentliche Aspekte der Sprache hier mit einem Anwendungsfall vermischt werden. Auf der oberen Ebene fehlen hingegen noch wesentliche Merkmale und Eigenschaften der Sprache (extra- und metalogische Prädikate, Metaprogrammierung, Akkumulatortechniken, Differenzstrukturen). Wenn es drinne bleiben soll, bin ich dafür, es unter Anwendungen zu packen. Zusätzlich würde ich empfehlen, es dahingehend umzuschreiben, dass man Strukturen gut transformieren kann und XML nur als ein Beispiel anzuführen. --guwac 12:48, 20. Jun 2005 (CEST)

text: Ist gut geworden. Die von mir erwähnten Techniken werde ich in einer Kurzform mal unter "Weitere Techniken" einarbeiten. Das wird aber nichts vor dem nächsten Monat. Akkumulatortechnik kann man, denke ich, ganz konkret am Beispiel von reverse/3 machen. Differenzstrukturen kann man dann gleich anschließen. Ob eine genauere Betrtachtung beider einen eigenen Artikel rechtfertigen, wird man wohl entscheiden müssen, wenn in diesem Artikel genug kritische Masse vorhanden ist oder die Darstellungen hier stören. Metaprogrammierung würde ich ebenfalls nur unter den Techniken aufführen, da sie in Prolog allgemein gut unterstützt wird (Manipulation der Datenbasis, Konstruktion/Destruktion von Termen und Prädikaten). Golog sagt mir persönlich leider nichts. Wenn man es hier aufführt, sollte nicht der Eindruck entstehen, dass Metaprogrammierung nur mit Golog möglich sei. --guwac 09:18, 21. Jun 2005 (CEST)
thread_title: XML

message: Ich habe die Kategorie "Funktionale Programmiersprache" wieder zu "Programmiersprache" korrigiert. Prolog gehört als logische Programmiersprache zum deklarativen Paradigma, aber halt in den Zweig der logischen, nicht der funktionalen Programmiersprachen. --guwac 09:39, 23. Sep 2005 (CEST)
thread_title:  Kategorisierung 

message: Ist wirklich gemeint wie sein Nachbar oder eher wie eine der anderen Personen?
Sonst sollten die Hinweise anders gefasst sein.
Statt "Der Winfield-Raucher trinkt gern Bier." z.B. "Mindestens ein Winfield-Raucher trinkt gern Bier."
Leider verstehe ich den Prolog-Code nicht ausreichend um es mir aus diesem Lösungsweg zu erschliessen.
[Benutzer:homunculus]] 08:47, 23. Aug 2006
:nun prinzipiel kann man die aufgabenstellung so auslegen, wie es die aufgabenstellung zulässt, aber in diesen fall ist es aus logischen gründen so das nachbar sich auf jeden der 5 bezieht da wir 5 verschiederne tiere, zigarettenmarken und lieblingsgetränke gegeben haben --Morphy 17:35, 23. Aug 2006 (CEST)
replies: text: eine direkte quelle kann ich nich sagen aber das räztel is auf dutzenden von interntseiten als "einsteins Rätzel" angegeben, auch habe ich das so beim prolog-lernen gelehrt bekommen, ich änder das mal wieder zurück, oder is noch wer anderes der meinung es sollte wieder der anderen variante entsprechen? --Morphy 23:46, 8. Dez. 2006 (CET)
thread_title:  Keine der 5 Personen trinkt das gleiche Getränk, raucht die gleichen Zigaretten oder hält das gleiche Tier wie sein Nachbar. 

message: dies ist nicht das originale rätsel, es ist eine version davon, ich habe das mal zusammen mit einem link auf das originale abgeändert.
-- Zhujik 16:59, 23. Jul 2007 (CEST)
replies: text: lösung einstein rätsel: 1.norwegen,gelb,katze,wasser,dunhill  2.däne,tee,blau,pferd,marlboro  3.mitte,rot,brite,milch, pallmall,vogel  4.grün,kaffe ,deutsch ,rothmanns,FISCH  5. weiß,schwede,hund,winfield,bier  --Konfressor (Diskussion) 18:17, 11. Sep. 2020 (CEST)
thread_title:  Einstein-Rätsel bzw Zebrarätsel 

message: Der Artikel hat zunächst meinen Test nicht bestanden. Ich habe hoffentlich alles bereits bereinigt. --SonniWP2 22:02, 18. Aug. 2007 (CEST)
thread_title:  Omatest am 18.8.2007 

message: Die Begriffsklärungsseite Prologue verweist hierher sowie auf das Betriebssystem PROLOGUE. Jetzt frage ich mich: ist für die Programmiersprache auch die Bezeichnung bzw. Schreibweise Prologue gebrächlich? Wenn ja, sollte das in der Einleitung deutlich werden, wenn nicht, kann die erwähnte BKL in einen Redirect auf PROLOGUE umgewandelt werden. --cliffhanger Beschweren? Bewerten! 17:29, 26. Sep. 2007 (CEST)
replies: text: Nein, die Programmiersprache Prolog/PROLOG wird niemals Prologue oder PROLOGUE geschrieben. Selbst ihr Erfinder mit dem französischen Namen hat das nicht getan. --Thüringer ☼ 14:24, 20. Nov. 2008 (CET)
thread_title:  Bezeichnung 

message: Hallo,
ich wollte nur darauf hinweisen das Prolog keine deklarative Programmiersprache ist! Eine Programmiersprache die diesen Anspruch erfüllt gibt es nicht, da man in dieser nur das WAS definieren müsste, aber bei jeder Programmiersprache geht es vor allem um das WIE. Prolog verfolgt nur einen deklarativen Ansatz. Das sollte man in der Beschreibung so auch sagen. Wenn es keine Einwände gibt wurde ich das gerne ändern. --VoltaireX 22:45, 15. Mär. 2009 (CET)
replies: text: Deine Glaubenssätze überzeugen mich nicht. Quellen bitte. Ich verstehe auch nicht ganz, ob Du eine grundsätzlich oder nur graduell andere Meinung vertrittst als der Artikel. Kannst Du dem Einleitungssatz im Artikel zustimmen? Ich bin davon überzeugt, dass es deklarative Programmiersprachen gibt. Reale Prolog-Systeme vertreten diesen Ansatz allerdings nicht puristisch. --Thüringer ☼ 10:52, 16. Mär. 2009 (CET)
replies: text:  Tut mir Leid, ich habe mich gerade im Gedanken selbst widerlegt :) Im nachhinein ist mir auch aufgefallen das Prolog selbstständig mit Daten umgehen kann, wenn es die Zusammenhänge kennt und genau darum geht es ja in der deklarativen Programmierung oder habe ich etwas falsch verstanden? --VoltaireX 22:59, 17. Mär. 2009 (CET)
thread_title:  Prolog ist keine deklarative Programmiersprache 

message: Ich las den Artikel mit gemischten Gefühlen. Einerseits ist er eine hübsche Einführung für Leute, welche die existierenden Prologs und insbesondere die auf Warrens Abstrakter Maschine aufbauenden zum Studium oder für kleine Übungsprogramme nutzen wollen. 
Andererseits geht er zu kavaliermäßig über das Problem des völlig ungenügenden Compilers aus Warrens Quintus-Prolog und seiner Nachfolger hinweg. Ich habe einen entsprechenden Zusatz eingefügt, welcher das Problem wenigstens für die Cognoscenti andeutet. Ob man deutlicher sagen soll, daß vor allem wegen der Nichtveränderbarkeit von Prädikaten der Compiler schlicht unbrauchbar ist, weiß ich nicht. Wenn man es soll: wie macht man das, ohne kommerzielle Interessen allzu sehr zu berühren oder gar zu schädigen (ich habe keine: meine Mitarbeit an einem System mit "richtigem" Compiler liegt über 20 Jahre zurück, und ich habe an dem betreffenden Produkt keinerlei Anteil mehr).
Ich habe vor etwa einem halben Jahr den Versuch, eines der Nachfolgesysteme für eine "echte" Programmieraufgabe zu verwenden, frustiert aufgegeben.
Dieser Implementierungsfehler kann in der Praxis genauso wenig umgangen werden wie der des längst entschwundenen Turbo-Prologs, das einfach die Unifizierung durch eine Zuweisung ersetzte. Auch die Eigenschaft, wie bei Lisp nicht zwischen "Daten" und "Programm" zu unterscheiden, ist eine ganz zentrale Eigenschaft der Sprache. Und eine Implementierung, bei der man die Datenbasis nicht fortschreiben kann - na ja ... ich kann mit sowas nichts anfangen. Und bitte jetzt nicht damit kommen, die entsprechenden Implementierungen hätten ja Sprachmittel, mit denen man die zu verändernden Prädikate von der Compilierung ausnehmen könne. Ich habe es versucht, und wechselte dann frustriert zu Visual Basic. Darin schreibt sich ja ganz schnell ein Unifizierer, und Backtracking ist mit einer modernen Sprachimplementierung eh kein Problem mehr.
Ich nehme an, daß dieser Mangel auch der Grund ist, daß zumindest ich noch von keinem mit den Warren-Implementierungen realisierten, echten Produktionsprogramm gehört habe, das auch nur annähernd mit dem inzwischen über 20 Jahre alten Konfigurationsprogramm für Telefonnebenstellenanlagen im damaligen Netz aus über 800 Telefonboutiquen der Deutschen Bundespost oder den Schildvortriebsteuerungen beim Bau der Tokyoer U-Bahn mithalten kann.
Was soll oder kann man da tun? Einen Ko-Autor für diesen Aspekt suchen (ich selbst bin zu lange aus der Szene raus, als daß ich da über die Korrektur hinaus etwas schreiben möchte)?
dr.peter.schnupp@avixomni.de (nicht signierter Beitrag von 92.78.134.47 (Diskussion) 08:53, 28. Okt. 2010 (CEST)
thread_title:  Prolog-Compiler 

message: Ich bin ein bischen erstaunt dass ich in der Deutschen Wikipedia praktisch keine Seiten der verschiedenen Implementationen finden. Auf der Englischen Wikipedia ist das nicht der Fall. Und man findet die Implementationen auch unter der Prolog Kategorie alphabetisch gelistet. Auf der Deutschen Wikipedia ist nichteinmal Prolog eine eigene Kategorie. Hat das eine spezielle Bewandnis, dass die Deutsche Wikipedia einfacher organisiert ist? 
Janburse 01:15, 1. Jan. 2011 (CET)
thread_title:  Seiten für die verschiedenen Realisierungen 

message: * Vermeide Familiengeschichten. Da ist viel zu viel emotionales was nur ablenkt. In meine fassung hab ich Personen, Fahrzeuge und Fuhrerscheine als vorbilt genommen. Darf Person X mit Fahrzeug Y Fahren. Person X kan mehrere Fuhrerscheine haben, und Fahrzeuge gibts von Lkw bis Fahrrad. Personen sind bei mir jantje, pietje, keesje en klaasje, algemeine Mustermänner, und jan-willem, der keinen Führerschein hatt und nur Fahrrad fahren darf. Die Logik ist einfach und verständlich und ziemlich egal. Begriffe wie 'Vater' und 'Mutter' sind's eben nicht.
* Nimm ein (einfaches) Vorbild (oben) und benutze nur das um dinge zu erklaren. Damit vermeidet mann Wiederholungen und der Leser hatt's ein bisschen einfacher. Er muss sich nicht anstrengen zu verstehen was wir Klugscheisser jetzt wieder erfunden haben, sondern kann sich auf die Sprache konzentrieren. Das KISS-Prinzip trifft zu, Hier mehr als sonstwo.
* Das Ziel ist nicht zu zeigen wie klug wir sind und wie gut wir Prolog-programme erstellen können, sondern der Leser zu erklaren was das eigentlich ist, Prolog, wie es functioniert und warum es so anders ist als C.
* Apropos, functionieren, dabei is unification ein Kernbegriff und sollte genau erklärt werden. Dabei die unterschiede zwischen unification und assignment hervorheben.
* Das Viertore modell fehlt: call, exit, retry und fail,
* idem Conjuctionen, Disjunctionen, backtracking und der Cut-operator.
* Geschichte, Edinburg, Warren Abstract Machine, Quintus, SIXTus, ISO.
Tjuus, Kleuske 16:44, 5. Jan. 2012 (CET)
thread_title:  Einige Tipps 

message: Das 4Port-Modell in Prolog:
Siehe bitte: http://www.docstoc.com/docs/123120376/Prolog-4PortModell
--217.253.222.20 09:32, 7. Jan. 2013 (CET)
thread_title:  4Port-Modell 

message: Andere Baustelle und heute völlig unbedeutend: in der DDR gab es die Fachsprache PROLOG zur problemnahen Notation von Steuerprogrammen für speicherprogrammierbare Steuerungen.
http://www.robotrontechnik.de/index.htm?/html/software/sprachen.htm#prolog
--ms (nicht signierter Beitrag von 92.225.0.10 (Diskussion) 16:09, 19. Jan. 2013 (CET)
thread_title:  Fachsprache PROLOG zur problemnahen Notation von Steuerprogrammen für SPS 

message: Mein Informatiklehrer wurde nie müde, zu versuchen, uns das Lernen von Prolog durch den Hinweis schmackhaft zu machen, dass nichts weniger »die U-Bahn in Tokyo mit Prolog betrieben« werde. Ganz kurz wird sie hier weiter oben in der Diskussion auch erwähnt, aber da liest sich das schon etwas anders. Kann jemand erhellen, was genau an dieser zitierten Aussage (die 20 Jahre her ist) genau dran ist? Auch im Hinblick auf die Frage, ob man das als Anwendungsbeispiel in den Artikel einbauen könnte. --MamaJohnny (Diskussion) 12:13, 18. Mär. 2013 (CET)
thread_title:  Prolog und die Tokyoter U-Bahn 

message: Folgende zwei Sätze aus dem Artikel gehen nicht zusammen:
* "Das Zeichen :- beschreibt eine genau-dann-wenn-Relation."
* "Der Regeloperator :- ist dabei wie ein umgedrehter Implikationspfeil zu lesen."
Nach dem, was ich gelernt habe, handelt es sich um eine umgekehrte Implikation, also nur: "head, wenn body", nicht "head genau dann, wenn body". --178.198.13.2 15:29, 25. Mai 2013 (CEST)
thread_title:  Äquivalenz oder Implikation? 

message: Bitte beachten, Begriffe wie Prolog-Script und Funktion sind eingentlich nicht gebräuchlich. Weil ein Prolog Text kann oder kann nicht interpretiert werden, es gibt auch Kompiler. Und Funktion ist deshalb falsch, weil die Definitionseinheiten von Prolog Prädikate sind:  
:Prolog-Script --> Prolog Text                                 /* ISO Standard */  
:Funktion z.B. consult/1 --> Prädikat, eingebautes Prädikat    /* ISO Standard */  
Janburse (Diskussion) 13:12, 30. Aug. 2015 (CEST)
thread_title:  Terminologie 

message: Durch den Vorschlag als Artikel des Tages bin ich auf diesen Artikel gestoßen, der als 2005 als lesenswert ausgezeichnet wurde. Ich habe mich zwar nie mit Prolog beschäftigt, meine aber auch so beurteilen zu können, dass er diese Auszeichnung nicht (mehr) verdient. Der gesamte Artikel wirkt eher wie ein Kurzhandbuch für Programmierer und nicht wie ein enzyklopädischer Artikel. Abschnitte ohne Text, die nur aus Codebeispielen bestehen, sprechen denke ich eine deutliche Sprache. Die Geschichte der Programmiersprache wird fast vollständig verschwiegen. Der Abschnitt „Prolog aus logischer Sicht“, den ich für besonders wichtig halte, ist aus meiner Sicht zu kurz und im hinteren Teil versteckt. Eine Bewertung (Vor- und Nachteile bzw. Kritik) sollten auch nicht fehlen. Die Einleitung halte ich auch für schlecht. Sie ist aus meiner Sicht nicht OMA-tauglich, wesentliche Aspekte der Programmiersprache werden hinter einem Link auf logische Programmiersprache versteckt. Sollte sich in den nächsten 14 Tagen niemand hier melden, der bereit ist, den Artikel zu verbessern, werden ich ihn zur Abwahl vorschlagen. Ich selber habe weder Zeit, Lust noch den tieferen Einblick in die Programmiersprache, um den Artikel auf ein Niveau zu heben, das ein Prädikat Lesenswert rechtfertigen würde. --Redrobsche (Diskussion) 14:37, 8. Sep. 2019 (CEST)
thread_title:  Lesenswert? 

message: Durch den Vorschlag als Artikel des Tages bin ich auf diesen Artikel gestoßen, der als 2005 als lesenswert ausgezeichnet wurde. Ich habe mich zwar nie mit Prolog beschäftigt, meine aber auch so beurteilen zu können, dass er diese Auszeichnung nicht (mehr) verdient. Der gesamte Artikel wirkt eher wie ein Kurzhandbuch für Programmierer und nicht wie ein enzyklopädischer Artikel. Abschnitte ohne Text, die nur aus Codebeispielen bestehen, sprechen denke ich eine deutliche Sprache. Die Geschichte der Programmiersprache wird fast vollständig verschwiegen. Der Abschnitt „Prolog aus logischer Sicht“, den ich für besonders wichtig halte, ist aus meiner Sicht zu kurz und im hinteren Teil versteckt. Eine Bewertung (Vor- und Nachteile bzw. Kritik) sollten auch nicht fehlen. Die Einleitung halte ich auch für schlecht. Sie ist aus meiner Sicht nicht OMA-tauglich, wesentliche Aspekte der Programmiersprache werden hinter einem Link auf logische Programmiersprache versteckt. Ob die „Beispiele“ wirklich in eine Enzyklopädie gehören, ist für mich fraglich. Auch die Belegsituation ist dürfig, allerdings sind auch fast keine Aussagen da, die eines Belegs bedürfen.
Ich habe am 8. September sowohl auf der Artikel-Diskussion als auch im Portal Informatik einen Hinweis auf meine Abwahlpläne hinterlassen, allerdings keine Antwort erhalten. Hauptautoren, die man informieren könnte, scheint es nicht zu geben. Deshalb stelle ich hier jetzt den Abwahl-Antrag. Von mir klar . --Redrobsche (Diskussion) 17:29, 27. Sep. 2019 (CEST)
thread_title:  Lesenswert-Diskussion vom 27. September bis zum 8. Oktober 2019 (Keine Auszeichnung) 

message: Dieser letzte Satz in der Einleitung ist sehr seltsam:
> Er verwandte einen anderen, von der TU Wien stammenden, Zwischencode, der inkrementell kompiliert wurde; wurden Prädikate verändert, wurde das Kompilat gelöscht und beim nächsten Aufruf neu kompiliert. 
# "verwandte" ist zwar scheinbar gültiges Deutsch, aber ich empfinde diese Variante als sehr seltsam. Laut Duden kommt sie "seltener/selten" in der Schweiz und Österreich vor - also als Österreicher kann ich sagen, dass ich das nicht verwenden würde.
# Das geht schon sehr ins Detail für eine Einführung. Muss man an dieser Stelle erwähnen, wann ein Zwischencode re-kompiliert wird... Reicht nicht ein "Er verwendete hierzu einen von der TU Wien stammenden Zwischencode". Name des Projekts oder irgendeine Referenz wäre auch toll.
# Ist dieser Pichler und der ungenannte Compiler so wichtig? Wäre das nicht eher etwas für eine "Geschichte"-Sektion?
--Cptwunderlich (Diskussion) 19:59, 10. Jan. 2021 (CET)
replies: text: Dieser Satz ist sicher nicht das einzige Problem dieses Artikel. Hinweise, wo es noch so überall hakt, findest du im Abschnitt über diesem. Fühl dich frei, hier mal aufzuräumen und zum Beispiel eine Geschichtsabschnitt zu schreiben. Bitte aber belegen. --Redrobsche (Diskussion) 22:07, 10. Jan. 2021 (CET)
thread_title:  Einleitung