Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Logikprogrammierung"”.
-
Engineering wissensbasierter Navigation und Steuerung autonom-mobiler Systeme
… Konzeptes geeignete Programmierwelt ist die Logikprogrammierung. Ziel der Logikprogrammierung ist es weniger, Arbeitsabläufe zu beschreiben, als vielmehr Wissen in Form von Fakten zu spezifizieren und mit Hilfe von Regeln Schlußfolgerungen aus diesen Fakten ziehen zu können. Die klassische …
-
ULTRA - A Logic Transaction Programming Language
Rule-based language for the specification of complex database updates and transactions. Formal treatment of the syntax and the declarative semantics