Diskussion:Datalog

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 8 Jahren von 85.181.176.146 in Abschnitt Zusammengesetzte Terme
Zur Navigation springen Zur Suche springen
[Quelltext bearbeiten]
Letzter Kommentar: vor 14 Jahren1 Kommentar1 Person ist an der Diskussion beteiligt

Ich habe den Link von der DES Projektseite auf die sourceforge Seite des Projekts geändert. sf.net/projects/des wird umgeleitet auf eine spanische Seite und die Anfrage kommt mit HTTP 403 zurück. Die Sf Seite ist sicherer und ein Link auf die Projektseite ist dort auch zu finden. (nicht signierter Beitrag von 130.83.161.64 (Diskussion) 10:22, 10. Sep. 2010 (CEST)) Beantworten

Zusammengesetzte Terme

[Quelltext bearbeiten]
Letzter Kommentar: vor 8 Jahren1 Kommentar1 Person ist an der Diskussion beteiligt

„Zusammengesetzte Terme dürfen nicht als Argumente von Prädikaten vorkommen.“

Demnach kann es in Datalog überhaupt keine zusammengesetzten Terme und ergo keine Funktorsymbole geben und die Entscheidbarkeit des Systems ergibt sich daraus, dass das Herbrand-Universum dieser Programme stets endlich ist.

Stimmt das? Wenn ja, sollte das auch so im Artikel vermerkt werden. --85.181.176.146 12:37, 6. Nov. 2016 (CET)Beantworten

Abgerufen von „https://de.wikipedia.org/w/index.php?title=Diskussion:Datalog&oldid=159429698“