Sie vereint Elemente der funktionalen und logischen Programmierung, insbesondere Constraintprogrammierung.
It merges elements of functional and logic programming, including constraint programming integration.
Koordinationsprobleme bei der konkurrierenden, verzweigten, objektbezogenen, funktionalen und logischen Programmierung
Coordination problems within concurrent, distributed, object-oriented, functional and logic programming
Datalog ist die relationale Variante der logischen Programmierung und ist eine Standard-Abfragesprache in der Datenbankentheorie geworden.
Datalog is the relational variant of logic programming and has become a standard query language in database theory.
Seine Hauptforschungsgebiete beinhalteten die Anwendung von innovativen Methoden der logischen Programmierung in der Intralogistik.
His main research interests were the application of innovative methods from the field of logic programming to the area of warehouse logistics.
Die außergewöhnlichen Eigenschaften der logischen Programmierung machen sie für viele Anwendungen in den Bereichen künstliche Intelligenz, Programmentwicklung, Datenbanken, Verarbeitung von Sprache, CAD, Rechnen mit Constraints usw. besonders attraktiv.
The unique features of logic programming make it especially attractive for many applications in artificial intelligence, program development, databases, processing of language, computer aided design, programming with constraints etc.
In dieser Dissertation wird untersucht, welche Rolle Methoden der deklarativen logischen Programmierung in der Entwicklung von Komponenten für intelligente Informationsagenten spielen können.
In this thesis, our interest is in the role which some methods from the field of declarative logic programming can play in the realization of reasoning capabilities for intelligent information agents.
In der logischen Programmierung beschreibt man statt einer Lösung für ein Problem in Form eines Algorithmus das Problem durch Fakten und Regeln und der Computer findet selbständig eine Lösung.
In logic programming, one describes the solution for a problem as facts and rules instead of writing an algorithm. The computer then finds a solution autonomously.
Viele dieser Modelle wurden von Arbeiten aus dem Gebiet des nicht-monotonen Schliessens und der logischen Programmierung inspiriert und teilen daher die teilweise beträchtliche rechnerische Komplexität dieser Ansätze.
Many of these models were inspired by works within the fields of non-monotonic reasoning and logic programming and therefore share the sometimes considerable computational complexity of these approaches. Read more
Neben einer kurzen Einführung in die Sprache Prolog behandelt diese Vorlesung die Grundlagen der logischen Programmierung, logische Programmiertechniken, die Implementierung von Logiksprachen sowie den Einsatz logischer Programmiersprachen in verschiedenen Anwendungsbereichen.
In addition to a short introduction to the programming language Prolog, the lecture deals with the foundations of logic programming, with programming techniques in these languages, with the implementation of logic programming languages, and with their application in several areas.
[...] leicht erlernbare Sprache für alle Generatoraufgaben; umfassende Nutzung der Frame/Slot-Technik, bei eingeschränkter Anwendung der Konstrukte der logischen Programmierung, um den Aufwand für die Einarbeitung niedrig zu halten.
but easy-to-learn language for all generator tasks; comprehensive use of the frame/slot technology with restricted use of the constructs of logical programming to keep the effort for familiarisation to a minimum.
Dank des einfachen Einsatzes und der logischen Programmierung können diese Produkte auf jeder Benutzerebene und bei den verschiedensten Anwendungslösungen die hohen Leistungen der Active Front End-Technologie bieten, und zwar überall dort, wo die Erzielung einer echten Energieeinsparung erforderlich ist.
Ease of use and intuitive programming make it possible for users of any level to exploit the high-level performance of Active Front End technology for a broad range of applications where there is a need for real energy saving.
Der letzte Vortrag von Jan Christiansen (Universität Kiel) bot einen Blick über den Tellerrand der funktionalen Programmierung hin zur logischen Programmierung.
Sie vereint Elemente aus der funktionalen und der logischen Programmierung. Die erste Version wurde von Fergus Henderson, Thomas Conway und Zoltan Somogyi entwickelt und am 8. April 1995 veröffentlicht.
The first version was developed at the University of Melbourne, Computer Science department, by Fergus Henderson, Thomas Conway, and Zoltan Somogyi, under Somogyi's supervision, and released on April 8, 1995.
