Diskussion:Datalog

aus Wikipedia, der freien Enzyklopädie

link geändert

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

Zusammengesetzte Terme

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