WAS BEDEUTET LOGIC PROGRAMMING AUF ENGLISCH
Logikprogrammierung
Logikprogrammierung ist ein Programmierparadigma auf Basis der formalen Logik. Ein Programm, das in einer logischen Programmiersprache geschrieben wird, ist eine Menge von Sätzen in logischer Form, die Tatsachen und Regeln über eine Problemdomäne ausdrücken. Wichtige Logik-Programmiersprachenfamilien beinhalten Prolog, Antwort-Set-Programmierung und Datalog. In all diesen Sprachen werden Regeln in Form von Klauseln geschrieben: H: - B1, ..., Bn. Und sind deklarativ als logische Implikationen gelesen: H wenn B1 und ... und Bn. H heißt das Oberhaupt der Herrschaft und B1, ..., Bn heißt der Körper. Tatsachen sind Regeln, die keinen Körper haben und in der vereinfachten Form geschrieben sind: H. Im einfachsten Fall, in dem H, B1, ..., Bn alle Atomformeln sind, werden diese Klauseln als bestimmte Klauseln oder Hornklauseln bezeichnet. Allerdings gibt es viele Erweiterungen dieses einfachen Falles, der wichtigste ist der Fall, in welchen Bedingungen im Körper einer Klausel auch Negationen von Atomformeln sein können. Logik-Programmiersprachen, die diese Erweiterung enthalten, haben die Wissensdarstellungsfähigkeiten einer nicht-monotonen Logik.
Definition von logic programming im Wörterbuch Englisch
Die Definition von Logikprogrammierung im Wörterbuch ist die Untersuchung oder Implementierung von Computerprogrammen, die in der Lage sind, Beweise für formale Ausdrücke oder Segmente zu entdecken oder zu überprüfen.
MIT «LOGIC PROGRAMMING» VERWANDTE WÖRTER IM WÖRTERBUCH ENGLISCH
logic programming ·
logic ·
programming ·
clojure ·
inductive ·
constraint ·
tutorial ·
ladder ·
abductive ·
python ·
examples ·
paradigm ·
based ·
formal ·
program ·
written ·
language ·
sentences ·
logical ·
form ·
expressing ·
gentle ·
introduction ·
learned ·
four ·
main ·
paradigms ·
imperative ·
object ·
oriented ·
functional ·
sure ·
every ·
theory ·
practice ·
cambridge ·
journals ·
official ·
journal ·
association ·
content ·
tplp ·
volume ·
sciencedirect ·
version ·
world ·
leading ·
platform ·
high ·
quality ·
peer ·
reviewed ·
full ·
text ·
dtai ·
home ·
page ·
associates ·
welcome ·
design ·
build ·
class ·
solutions ·
artificial ·
intelligence ·
including ·
state ·
compilers ·
department ·
books ·
provide ·
theoretical ·
basis ·
both ·
foundations ·
techniques ·
school ·
computer ·
science ·
carnegie ·
first ·
lecture ·
give ·
brief ·
particular ·
approach ·
iclp ·
since ·
conference ·
held ·
marseilles ·
been ·
premier ·
international ·
presenting ·
research ·
model ·
programmer ·
responsible ·
specifying ·
basic ·
relationships ·
does ·
specify ·
ÜBERSETZUNG VON LOGIC PROGRAMMING
Erfahre, wie die Übersetzung von
logic programming auf
25 Sprachen mit unserem mehrsprachigen
Übersetzer Englisch lautet.
Die
Übersetzungen von logic programming auf andere Sprachen, die in diesem Bereich vorgestellt werden, sind zustande gekommen durch
automatische statistische Übersetzung, wobei die Basiseinheit der Übersetzung das Wort «logic programming» in Englisch ist.
Übersetzer Deutsch - Chinesisch
逻辑编程
1.325 Millionen Sprecher
Übersetzer Deutsch - Spanisch
programación lógica
570 Millionen Sprecher
Übersetzer Deutsch - Hindi
तर्क प्रोग्रामिंग
380 Millionen Sprecher
Übersetzer Deutsch - Arabisch
برمجة المنطق
280 Millionen Sprecher
Übersetzer Deutsch - Russisch
логического программирования
278 Millionen Sprecher
Übersetzer Deutsch - Portugiesisch
Programação em Lógica
270 Millionen Sprecher
Übersetzer Deutsch - Bengalisch
লজিক প্রোগ্রামিং
260 Millionen Sprecher
Übersetzer Deutsch - Französisch
programmation logique
220 Millionen Sprecher
Übersetzer Deutsch - Malaysisch
Pengaturcaraan logik
190 Millionen Sprecher
Übersetzer Deutsch - Deutsch
Logikprogrammierung
180 Millionen Sprecher
Übersetzer Deutsch - Japanisch
ロジックプログラミング
130 Millionen Sprecher
Übersetzer Deutsch - Koreanisch
논리 프로그래밍
85 Millionen Sprecher
Übersetzer Deutsch - Javanisch
Pamrograman logika
85 Millionen Sprecher
Übersetzer Deutsch - Vietnamesisch
lập trình logic
80 Millionen Sprecher
Übersetzer Deutsch - Tamil
தர்க்கம் நிரலாக்க
75 Millionen Sprecher
Übersetzer Deutsch - Marathi
लॉजिक प्रोग्रामिंग
75 Millionen Sprecher
Übersetzer Deutsch - Türkisch
Mantık programlama
70 Millionen Sprecher
Übersetzer Deutsch - Italienisch
programmazione logica
65 Millionen Sprecher
Übersetzer Deutsch - Polnisch
programowanie w logice
50 Millionen Sprecher
Übersetzer Deutsch - Ukrainisch
логічного програмування
40 Millionen Sprecher
Übersetzer Deutsch - Rumänisch
programarea logică
30 Millionen Sprecher
Übersetzer Deutsch - Griechisch
λογική προγραμματισμού
15 Millionen Sprecher
Übersetzer Deutsch - Afrikaans
logika ontwikkeling
14 Millionen Sprecher
Übersetzer Deutsch - Schwedisch
logikprogrammering
10 Millionen Sprecher
Übersetzer Deutsch - Norwegisch
logikk programmering
5 Millionen Sprecher
10 BÜCHER, DIE MIT «LOGIC PROGRAMMING» IM ZUSAMMENHANG STEHEN
Entdecke den Gebrauch von
logic programming in der folgenden bibliographischen Auswahl. Bücher, die mit
logic programming im Zusammenhang stehen und kurze Auszüge derselben, um seinen Gebrauch in der Literatur kontextbezogen darzustellen.
1
Logic,
programming, and Prolog
This new edition covers the latest advances in logic programming research.
Ulf Nilsson, Jan Małuszyński,
1995
2
From
Logic to
Logic Programming
It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains elegant versions and proofs of the fundamental theorems and lemmas in the proof theory of logic ...
3
Logic Programming: Proceedings of the Twelfth International ...
Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism.
4
Inductive
Logic Programming: From Machine Learning to ...
In this book they provide an extended, up-to-date survey of ILP, emphasizing methods and systems suitable for software engineering applications, including inductive program development, testing, and maintenance.
Francesco Bergadano,
1996
5
Logic Programming with Prolog
"This book does not assume that the reader is an experienced programmer or has a background in Mathematics, Logic, or Artificial Intelligence.
6
Logic Programming: Proceedings of the Tenth International ...
Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques.
7
From
logic programming to Prolog
The text includes an introduction to programming in Prolog and deals with such programming issues as determination, o This exciting text is the first to make it possible to teach the foundations of logic programming and Prolog programming ...
8
Probabilistic Inductive
Logic Programming
This book provides an introduction to probabilistic inductive logic programming. It places emphasis on the methods based on logic programming principles and covers formalisms and systems, implementations and applications, as well as theory.
9
Advances in
Logic Programming and Automated Reasoning
This series reviews research contributions in logic programming and automated reasoning and is desinged to stimulate and sustain new, productive lines of investigation into symbolic and algebraic computing techniques as they relate to logic ...
10
Foundations of Inductive
Logic Programming
The state of the art of the bioengineering aspects of the morphology of microorganisms and their relationship to process performance are described in this volume.
Shan-Hwei Nienhuys-Cheng, Ronald de Wolf,
1997
10 NACHRICHTEN, IN DENEN DER BEGRIFF «LOGIC PROGRAMMING» VORKOMMT
Erfahre, worüber man in den einheimischen und internationalen Medien spricht und wie der Begriff
logic programming im Kontext der folgenden Nachrichten gebraucht wird.
Adept Technology: Packaging robot | Healthcare Packaging
The robot can also be programmed directly from a PLC, minimizing training and deployment time by using familiar ladder logic programming ... «Healthcare Packaging, Jul 15»
Countering social influence and persuasion of extremist groups
"This requires embedding psycho-social models in a logic programming framework that can gather and analyze social networks, specific ... «Phys.Org, Jul 15»
Remember: Respect your technology elders
It had a standard serial port and it was preloaded with the vendor's DOS-based ladder-logic programming utility. Nobody expected it to run ... «ITProPortal, Jul 15»
Arizona State University Awarded Minerva Grant to Research …
“This requires embedding psycho-social models in a logic programming framework that can gather and analyze social networks, specific ... «HSToday, Jul 15»
Kootenay Lake students clean up at national science competition
Paun, a Grade 12 student at Mount Sentinel, earned his spot at the national competition for developing Chemlogic: A Logic Programming ... «Nelson Star, Jun 15»
Aspiring Astronaut Brings Home Two National Awards
... granted him the opportunity to present at two international aerospace conferences and is published in “Logic Programming: Theory, Practices ... «University of Cincinnati, Jun 15»
Yokogawa Releases New UTAdvanced Series DIN Rail Mounting …
The UTAdvanced controller comes standard with a sequence control function based on the ladder logic programming language, which is ... «Automation World, Apr 15»
Budding local scientists win big at regional science fair
Paun, in Grade 11 at Mount Sentinel in South Slocan, entered his second edition Chemlogic: A Logic Programming Chemistry System and won ... «Nelson Star, Apr 15»
Student Scientists show their stuff at Regional Science Fair
Paun, a Grade 11 student at Mt. Sentinel School, entered his second edition Chemlogic: A Logic Programming Chemistry System and won the ... «The Nelson Daily, Apr 15»
Progea USA Announces New Bosch Rexroth MLPI Driver for …
When using the Bosch-Rexroth's Motion Logic Programming Interface (MLPI) libraries, Movicon will simplify the work of design engineers by ... «AutomatedBuildings.com, Apr 15»