prolog

Prolog ist die am häufigsten verwendete Logik-Programmiersprache. Es unterstützt nicht-deterministische Programmierung durch chronologische Rückverfolgung und Mustererkennung durch Vereinheitlichung.
2
Antworten

NP-vollständiger Rucksack

Ich habe diese ECLiPSe-Lösung für das in dies XKCD Comic. Ich habe versucht, dies in reines Prolog umzuwandeln. %Vor% Ich glaube nicht, dass dies die beste / deklarativste Lösung ist, die man sich vorstellen kann. Hat jemand Verbesserung...
06.06.2011, 14:28
2
Antworten

Prolog: Vermeiden Sie redundante Auswahlpunkte (Nicht-Determinismus) mit und ohne Schnittoperator

Erstens habe ich alle anderen Beiträge zu SO bezüglich der Verwendung von Schnitten in Prolog gelesen und sehe definitiv die Probleme, die mit ihrer Verwendung zusammenhängen. Allerdings gibt es immer noch Unklarheiten für mich und ich möchte da...
12.06.2016, 15:16
1
Antwort

Ein Graph DB gegen einen Prolog (oder MiniKanren)

Vor kurzem habe ich in Graph-Datenbanken wie Neo4j und in Logik-Programmierung in Prolog und MiniKanren gesucht. Von dem, was ich bisher gelernt habe, erlauben beide, Fakten und Beziehungen zwischen ihnen zu spezifizieren, und auch das resultier...
22.03.2015, 09:44
3
Antworten

Beispiel Kanalisierungsbeschränkungen ECLiPSe

Kann jemand ein einfaches Beispiel für Channeling-Constraints geben? Kanalisierungsbeschränkungen werden verwendet, um Betrachtungspunkte eines Einschränkungsproblems zu kombinieren. Handbuch der Constraint-Programmierung gibt eine gute Erklä...
21.06.2016, 14:48
2
Antworten

Ist adaptives Parsen in Prolog möglich?

Ich versuche, einen adaptiven Parser in Prolog: Mit anderen Worten, ein Parser, der zur Laufzeit seine eigenen Parsing-Regeln ändern kann. Um dies zu tun, muss ich zur Laufzeit neue Prädikate generieren, aber ich bin mir nicht sicher, ob di...
24.04.2016, 00:06
4
Antworten

Algorithmus - Ideale Verteilung zwischen mehreren Workshops und Zeitrahmen

Ich suche nach einem Algorithmus, um folgendes Problem zu lösen: Sagen wir, ich organisiere einen Kurs mit 300 Teilnehmern und 6 Workshops, die in 3 Zeitrahmen unterteilt sind. Jeder Teilnehmer muss sich auf einer Website registrieren und...
17.01.2012, 16:40
1
Antwort

Schiebe ein Kachelpuzzle mit unterschiedlicher Kachelgröße durch logische Programmierung

Ich versuche also, dieses Problem bei der Kabinenanordnung hier zu lösen. Es ist im Grunde ein Schiebepuzzle, bei dem ein (Stand-) Plättchen einen Zielpunkt erreichen muss und am Ende alle anderen (Stand-) Plättchen an ihrem ursprünglichen Ort...
01.10.2017, 04:59
3
Antworten

Was genau ist eine "logische Variable" und was ist der allgemeine Ansatz für die Implementierung der Sprachfunktion?

Ich versuche, eine Logikabfragesprache für Spielzeuglogik zu schreiben, die auf verschiedenen Unterrichtsquellen basiert, einschließlich SICP und The Art of Prolog (AoP). Ich fange gerade an, meine erste Skizze des Vereinigungsalgorithmus au...
05.11.2015, 07:28
2
Antworten

Wie kann ich eine Prolog-ähnliche Inferenz-Engine in eine .NET-Anwendung einbetten?

Bestimmte Arten von Domänenlogik werden natürlicher dargestellt, wenn Prolog-Prädikate als C # -Objekte verwendet werden. Ein Beispiel für eine solche Domain ist , das Familienbeziehungen repräsentiert . Gibt es eine Möglichkeit, eine Prolog-...
11.06.2011, 20:28
1
Antwort

Zeigt den WAM-Code für ein bestimmtes Prolog-Programm an

Gibt es in einem Prolog-Programm einen GNU-Prolog-Befehl, um den WAM-Code relativ zu diesem Programm anzuzeigen?     
15.12.2015, 13:53