Logische Programmierung
Logische Programmierung (Prädikative Programmierung) ist ein Programmierparadigma, das auf der mathematischen Logik beruht. Anders als bei der imperativen Programmierung besteht ein Logik-Programm nicht aus einer Folge von Anweisungen, sondern aus einer Menge von Axiomen, welche hier als eine reine Ansammlung von Fakten oder Annahmen zu verstehen sind. Stellt der Benutzer eines Logik-Programms eine Anfrage, so versucht der Interpreter die Lösungsaussage allein aus den Axiomen zu berechnen.
Dazu werden eine Menge von so genannten Regeln und Anweisungen, die der Syntax gemäß aufgebaut sind, zusammen mit der Information, welche Lösungsmethode vorgesehen ist, in den Programmcode eingefügt. Logische Programmiersprachen gehören zu den deklarativen Programmiersprachen und haben ihre Ursprünge im Forschungsgebiet Künstliche Intelligenz.
In einem imperativen Programm wird genau beschrieben, wie und in welcher Reihenfolge ein Problem zu lösen ist. Im Gegensatz dazu wird in einem logikbasierten Programm idealerweise nur beschrieben, was gilt. Das Wie ist bereits durch die Lösungsmethode vorgegeben. Die Lösung wird aus den vorhandenen Regeln hergeleitet. Meistens wird schon nur eine Menge von Regeln als „Programm“ bezeichnet, wenn klar ist, welche Lösungsmethode dazugehört: Nämlich die (einzige) in der vom regelbasierten System bereitgestellten Inferenzmaschine verwirklichte.
Die bekannteste logische Programmiersprache ist Prolog.

Dies ist ein Auszug aus dem Artikel Logische Programmierung der freien Enzyklopädie Wikipedia. In der Wikipedia ist eine Liste der Autoren verfügbar.
Bilder zu Logische Programmierung
Vorschaubild:
Original:
- Anzeigen -
Suchergebnisse bei Google und Bing
1
>30
1
Logische Programmierung – Wikipedia
Logische Programmierung (Prädikative Programmierung) ist ein Programmierparadigma, das auf der mathematischen Logik beruht. Anders als bei der ...
de.wikipedia.org/wiki/Logische_Programmierung
2
>30
2
Einführung in die logische Programmierung, WiSe 12 ...
Einführung in die Logische Programmierung, WiSe 12. Das früher angebotene Modul Softwaretechnik und Programmiersprachen 1 wurde aufgeteilt in die ...
www.stups.uni-duesseldorf.de/w/Einf%C3%BChrung_in_die_logische_Programmierung,_WiSe_12
3
>30
3
Logische Programmierung: PROLOG - Programming Systems Lab ...
Logische Programmierung: PROLOG. Proseminar Programmiersprachen WS 03/ 04 von. Jochen Frey nach einem Thema von. Prof. Dr. Gert Smolka. Lehrstuhl ...
www.ps.uni-saarland.de/courses/seminar-ws03/LogischeProgrammierung.pdf
4
>30
4
Logische Programmierung & Programme - FH Wedel
Der Grundgedanke der logischen Programmierung lässt sich sehr einfach in folgender Grafik darstellen: (Quelle: Bolkart : Programmiersprachen der 4. und 5.
www.fh-wedel.de/~si/seminare/ws04/Ausarbeitung/5.Prolog/LogPro2.htm
5
>30
5
5 Logische Programmierung
5 Logische Programmierung. •. Logik wird als Programmiersprache benutzt. •. Der logische Ansatz zu Programmierung ist (sowie der funktionale) deklarativ ...
www2.informatik.tu-muenchen.de/lehre/vorlesungen/WS05/programmiersprachen/11.01.pdf
6
>30
6
Funktionale und logische Programmierung - Didaktik der Informatik
Inhalte. Programmierstile im Vergleich; Logische Programmierung mit Prolog. Fakten, Regeln, Anfragen; Von der Prädikatenlogik zur PROgrammierung in ...
ddi.cs.uni-potsdam.de/Lehre/FunktionalLogisch
7
>30
7
Softwaretechnik: Logische Programmierung
Logische Programmierung. Dozent: Dr. Anke Dittmar. Termin: dienstags, 9-11 Uhr. Ort: HS 037, A.-Einstein-Straße 22. Veranstaltungsnummer: 23189 ...
www.informatik.uni-rostock.de/swt_vl_lp.html
8
>30
8
Logische Programmierung
12. Apr. 2013 ... Modul Logische Programmierung für Fortgeschrittene. Modulverantwortlicher: Stiefel. Lehr- und Lernformen: Vorlesung (1 SWS) und Übungen ...
www.fh-schmalkalden.de/Logische+Programmierung-p-6907.html
9
>30
9
Logisches Programmieren (Prolog)
Logische Programmierung. (mit der Programmiersprache Prolog). Eine Einführung in grundlegende Möglichkeiten. An einfachen Beispielen sollen die ...
home.foni.net/~pwitthinrich/Programmieren/prolog.htm
10
>30
10
4.9 Logische Programmierung
6. Juli 2000 ... 4.9 Logische Programmierung. Unterabschnitte. 4.9.1 Prolog · 4.9.2 Ein abstrakter Interpreter · 4.9.3 Die Auswertungsstrategie von Prolog ...
www2.informatik.hu-berlin.de/lehrstuehle/automaten/logik/node35.html
Suchergebnisse für "Logische Programmierung"
Google: ca. 625.000
Logische Programmierung in der Wissenschaft
Logische Programmierung SS2009 - MMIS | Computer Science ...
From MMIS | Computer Science | University of Rostock. Jump to: navigation, search. Einführung in die Logische Programmierung ...
Theorie der logischen Programmierung - Eine elementare Einführung
... im praktischen Einsatz bestanden, und das logische Programmieren hat unter ... Choose a discipline: Architecture & Design; Astronomy; Biomedical Sciences ...
Algorithmik 2: Grundlagen der funktionalen und logischen ...
Grundlagen der logischen Programmierung • • • • • • • Anforderungen an ... NJ: Prentice Hall, 1995 • O. Grillmeyer: Exploring Computer Science with Scheme.
Amazon.de: Constraint-logische Programmierung - Sprachen ...
Ergebnissen 1 - 12 von 16 ... Analysis and Visualization Tools for Constraint Programming: Constraint Debugging (Lecture Notes in Computer Science) von Pierre ...
Amazon.de: Logische Programmierung - Mathematik / Fachbücher ...
Ergebnissen 1 - 12 von 92 ... Theorie der logischen Programmierung: Eine elementare ... Quantifiers (Lecture Notes in Computer Science / Lecture Notes in ...
Amazon.de: Logische Programmierung - Fremdsprachige Bücher ...
Ergebnissen 1 - 12 von 147 ... Amazon.de: Logische Programmierung - Fremdsprachige Bücher: ... (Lecture Notes in Computer Science / Lecture Notes in Artificial ...
Amazon.de: Constraint-logische Programmierung - Fachbücher ...
Ergebnissen 1 - 12 von 17 ... Analysis and Visualization Tools for Constraint Programming: Constraint Debugging (Lecture Notes in Computer Science) von Pierre ...
Mindmap für logische Programmierung im Gabler Wirtschaftslexikon
Mindmap (auch Dendrogramm/ Beziehungsgraph/ Baumdiagramm/ Kollokationsgraph/ semantisches Netz/ Wissensnetz) für Logische Programmierung stellt die ...
Definition » logische Programmierung « | Gabler Wirtschaftslexikon
Logische Programmierung: Art der Programmierung, die v.a. in der Künstlichen Intelligenz (KI), ... Logische Programmierung basiert auf der Prädikatenlogik.
PROLOG-Programmierung - TU Dortmund -- Computer Science VIII
Der Kurs befaßt sich im ersten Teil mit den Grundbegriffen der logischen Programmierung, wie Hornklausellogik, Resolution und Unifikation. Er liefert damit ...
Bücher zum Begriff Logische Programmierung
Einführung in die Constraint-Programmierung: Grundlagen, Methoden, ...
Einführung in die Constraint-Programmierung: Grundlagen, Methoden, ...
Petra Hofstedt, Armin Wolf, 2007
Ein Ausgangspunkt der Entwicklung der Constraint-Programmierung war die Erweiterung logischer Sprachen um ... Die Constraint- Logische Programmierung ist eine Generalisierung der logischen Programmierung, indem sie neben ...
Automatisieren mit SPS - Übersichten und Übungsaufgaben: Von Grundverknüpfungen bis Ablaufsteuerungen: STEP 7-...
Automatisieren mit SPS - Übersichten und Übungsaufgaben: Von Grundverknüpfungen bis Ablaufsteuerungen: STEP 7-...
Günter Wellenreuther und Dieter Zastrow von Vieweg+Teubner Verlag, 2011
Dieses Buch ergänzt das Lehrbuch „Automatisieren mit SPS - Theorie und Praxis“, um den noch fehlenden Übungsteil und enthält kapitelweise knappe Zusammenfassungen der SPS-Programmiergrundlagen zum Nachlesen und unterschiedliche Typen von Übungsaufgaben: Lernaufgaben, um sich einen Lehrstoff anzueignen und Kontrollaufgaben zur Vorbereitung auf Prüfu...
Informatik Handbuch
Informatik Handbuch
Peter Rechenberg, 2006
6 Logische Programmierung N. E. Fuchs 6.1 Grundlagen 614 6.1.1 Einführung 614 6.1 .2 Definite logische Programme 616 Syntax - Semantik 6.1.3 Resolution 617 Resolutionsprinzip - Unifikation - SLD-Resolution - SLD-Ableitun- gen ...
SAP ERP HCM - Technische Grundlagen und Programmierung (SAP PRESS)
SAP ERP HCM - Technische Grundlagen und Programmierung (SAP PRESS)
Jürgen Kielisch, Peter Gilberg, Rinaldo Heck und Jens Richter von SAP PRESS, 2013
So individuell wie die Mitarbeiter Ihres Unternehmens sind auch die Anforderungen, die Ihr Unternehmen an SAP ERP HCM stellt. Anpassungen und Erweiterungen sind hier an vielen Stellen nötig und möglich. Anhand von Praxisbeispielen erfahren Sie, wie Sie diese Möglichkeiten nutzen und speziell für HCM programmieren, z. B. Reports erstellen, Anpassung...
Einführung in die Programmierung mit C++ (Pearson Studium - IT)
Einführung in die Programmierung mit C++ (Pearson Studium - IT)
Bjarne Stroustrup von Pearson Studium, 2010
Bjarne Stroustrup, Erfinder von C++, eine der weltweit am häufigsten verwendetenProgrammiersprachen, gibt basierend auf seiner langjährigen Erfahrungin Softwareentwicklung und Lehre mit diesem didaktisch ausgefeilten Werkeinen praxisnahen und problemorientierten Einstieg in die Programmierungmithilfe von C++. Im Gegensatz zu anderen Einführungen in...
Programmiersprachen – Konzepte, Strukturen und Implementierung in Java
Programmiersprachen – Konzepte, Strukturen und Implementierung in Java
Achim Clausing, 2011
Logische. Programmierung. Die Logik, mit der man jetzt Missbrauch treibt, dient mehr dazu, die in den gewöhnlichen Begriffen steckenden Irrtümer zu befestigen, als die Wahrheit zu erforschen; sie ist deshalb mehr schädlich als nützlich.
Datenbank-Programmie... mit Visual C# 2010: Grundlagen, Rezepte, Anwendungsbeispiele
Datenbank-Programmie... mit Visual C# 2010: Grundlagen, Rezepte, Anwendungsbeispiele
Walter Doberenz und Thomas Gewinnus von Microsoft Press Deutschland, 2010
Wer mit wenig Aufwand zeitgemäße .NET-Datenbank-Anwendungen erstellen will, kommt heute kaum noch an Visual C sharp 2010 und Visual Studio 2010 vorbei. Das vorliegende Buch bietet nicht nur den idealen Einstieg in die Datenbank-Programmierung, sondern eignet sich auch bestens als Nachschlagewerk für Fortgeschrittene, wobei auch LINQ und ADO.NET Ent...
Konzepte Objektorientierter Programmierung: Mit Einer Einführung ...
Konzepte Objektorientierter Programmierung: Mit Einer Einführung ...
Arnd Poetzsch-Heffter, 2009
Logische Programmierung. Die Logische Programmierung betrachtet ein Programm alseine Ansammlung von Fakten und Folgerungsbeziehungen, an die Anfragen gestellt werden k ̈onnen. Die Ausf ̈uhrung eines logischen Programms ...
Datenbank-Programmie... mit Visual Basic 2010: Grundlagen, Rezepte, Anwendungsbeispiele
Datenbank-Programmie... mit Visual Basic 2010: Grundlagen, Rezepte, Anwendungsbeispiele
Walter Doberenz und Thomas Gewinnus von Microsoft Press Deutschland, 2010
Visual Basic 2010 und Visual Studio 2010 sind großartige Werkzeuge zur Erstellung zeitgemäßer .NET-Datenbankanwendungen. Das vorliegende Buch bietet Ihnen nicht nur den idealen Einstieg in die Datenbankprogrammierung, sondern eignet sich auch bestens als Nachschlage-Werk für Fortgeschrittene, wobei auch LINQ und ADO.NET Entity Framework ausgiebig b...
Reklame
Entwicklung der Google-Suchanfragen


Blog-Einträge zum Begriff
Logische Programmierung
Logische Verknüpfung in MYSQL
Hallo Liebes Forum, Ich habe eine Idee von der ich nicht ganz weiß wie ich Sie umsetzen soll. Es geht darum das Bestimmte Charaktere viele gemeinsame
forum.jswelt.de/serverseitige-programmierung/57708-logische-verkn-pfung-mysql.html
Fotografdracula » GUI Programmierung in Prolog
fotografdracula.de/2010/02/gui-programmierung-in-prolog/
„Always on“ praktizieren 15 Millionen Deutsche » Imagefilm Hamburg, APP Programmierung, Produktfilm Hamburg, Typo 3 » Fuse Blog Hamburg - App Programmierung und Entwicklung, Social Media, Facebook Apps und Imagefilm
Wir sind eine kreative Full Service Agentur in Frankfurt. Wir entwickeln digitale Kommunikationskonzepte, dazu gehören: Filmproduktion, Website Design, Programmierung, APP Programmierung, Social Media.
blog.fuse.de/allgemein/%E2%80%9Ealways-on%E2%80%9C-praktizieren-15-millionen-deutsche/
Hilfe bei Programmierung eines Loops - Metatrader Forum | Forex Expert-Advisor | Broker & Forex Tools
Hallo, ich trade zwar schon seit Jahren, bin aber das erste mal in einem Forum. Ich befürchte, diesmal brauche ich wirklich Hilfe. Ich habe mir das
www.expert-advisor.com/forum/metatrader-4/programmierung-mql4/2925-hilfe-bei-programmierung-eines-loops.html
c++.de :: Prozedurale Programmierung vs. Imperative Programmierung?
www.c-plusplus.de/forum/295804-full
Woher kommt NLP (Neurolinguistische Programmierung)? Ein kurzer Abriss über die frühe Geschichte des NLP | Kaffee, Kekse, Komplimente - Coffee, Cookies, Compliments
Einen kurzer Abriss über die frühe Geschichte des NLP (Neurolinguistische Programmierung): NLP wurde von Richard Bandler (ein US amerikanischer Psychologe) und John Grinder (ein US amerikanischer L
www.kaffee-kekse-komplimente.de/nlp-neurolinguistische-programmierung/entstehungsgeschichte-nlp/woher-kommt-nlp-neurolinguistische-programmierung-ein-kurze-abriss-uber-die-fruhe-geschichte-des-nlp.html
Logische Operatoren in C | Jetzt lerne ich programmieren
C gibt es wie in der Digitaltechnik und vielen anderen Programmiersprachen Logische Operatoren. && logisches UND || logisches ODER ! logische
www.jlip.de/logische-operatoren-in-c/
Logik bzw. unlogik von logischer Programmierung | schwarzes Gänseblümchen
small, crazy and a geek(in)
szara.wordpress.com/2007/05/07/logik-bzw-unlogik-von-logischer-programmierung/
Geplante Obsoleszenz: Eine logische Folge gesättigter Märkte - help.ORF.at
Warum gehen Geräte wie Handys, Fernseher, und Waschmaschinen eigentlich so schnell kaputt? Sepp Eisenriegler, Gründer und Geschäftsführer des Reparatur- und Service-Zentrums (R.U.S.Z.) in Wien, kann belegen, was viele schon irgendwie geahnt haben: Dahinter steckt Absicht.
help.orf.at/stories/1709801/
Kognitionswissenschaft studieren, oder doch lieber ein anderes Studienfach?
Leider wird es Abiturienten immer schwerer gemacht, das richtige Studienfach zu finden. Allein die Suche nach einem Studienplatz wird aufgrund der üblichen Zulassungsbeschränkungen zum echten Kampf.
www.kognitionswissenschaft.org/2009/08/kognitionswissenschaft-studieren-oder-doch-lieber-ein-anderes-studienfach/
123