Gibt es eine klare Referenz mit Pseudocode, wie man einen Prolog-Interpreter in einer rein funktionalen Sprache implementiert? Was ich bisher gefunden habe, scheint sich nur mit imperativen Sprachen zu befassen, ist lediglich eine Demonstration von Prolog, das in sich selbst implementiert ist, oder...
Ist „Partybesuch“ Art von Problemen auflösbar in Prolog? Beispielsweise: Klette Muldoon und Carlotta Pinkstone sagten beide, sie würden kommen, wenn Albus Dumbledore käme. Albus Dumbledore und Daisy Dodderidge sagten beide, sie würden kommen, wenn Carlotta Pinkstone käme. Albus Dumbledore, Burdock...
Ich weiß, dass es bewiesen werden kann, dass PROLOG Turing-vollständig ist, indem ein Programm erstellt wird, das eine Turing-Maschine wie diese simuliert: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0,...
Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei...
Ich bin besonders an Lösungen für das Problem interessiert, dass die gekapselte Suche von der Reihenfolge der Bewertung abhängen kann. Laut [1] hängt die gekapselte Suche in PAKCS von der Reihenfolge der Auswertung ab, während dies in MCC nicht der Fall ist. Die Verwendung erfordert jedoch...