Die Frage Was ist neu in rein funktionalen Datenstrukturen seit Okasaki? und die epische Antwort von jbapple, die anhand von Differenzlisten in der funktionalen Programmierung (im Gegensatz zur logischen Programmierung) erwähnt wurde, woran ich mich in letzter Zeit interessiert habe. Dies führte mich dazu, die Implementierung der Differenzliste für Haskell …
Was sind die besten Referenzen für das Selbststudium in DATALOG? Ich interessiere mich besonders für Ausdruckskraft, Komplexitätsergebnisse, Bewertungsmethoden, Erweiterungen von DATALOG mit Negation usw. Gibt es Bücher oder Papiere, die all dies abdecken?
Ich hoffe, ich bin an der richtigen Stelle ... es ist (wahrscheinlich) eine ziemlich einfache Frage zur Logikprogrammierung. Wenn ich zwei Klauseln des Formulars habe: B:-A C:-A Ich kann diese umwandeln in: B,C:-A ( Bearbeiten: Wo B,Cist eine Konjunktion? Ich mache eine Bottom-up-Bewertung und es ist nützlich für mich, mehrere …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.