Logicals PROLOG vs Python

Wenn du dir nicht sicher bist, in welchem der anderen Foren du die Frage stellen sollst, dann bist du hier im Forum für allgemeine Fragen sicher richtig.
ALSO
User
Beiträge: 13
Registriert: Montag 29. März 2021, 07:32

Samstag 3. April 2021, 13:39

Ich programmiere gerade in Prolog ein Programm, das aus gegebenen Verknüfungen z.B. A= 4, B=23, X=5 usw. aus diesen Angaben dann Fragen beantworten kann wie z.B welche Nummer hat D etc.

Einsteinrätsel und Alphametiken sind in Prolog schnell zu machen aber wie sieht es mit Python aus?
Wie aufwendig ist sowas in Python und wie würde so ein Ansatz aussehen, wo finde ich ähnliches Material. Ich habe es versucht , aber in Prolog scheint es kürzer und schneller zu gehen.
Trotzdem glaube ich es geht auch in Python und will es probieren. Danke für die HiIfe VG
nezzcarth
User
Beiträge: 1288
Registriert: Samstag 16. April 2011, 12:47

Samstag 3. April 2021, 14:29

Nach meinem Kenntnisstand verwenden Prolog Implementationen dazu Backtracking, d. h. im Prinzip eine Tiefensuche auf einem Suchbaum, bei der man alle möglichen Lösungskandidaten systematisch durchprobiert und ggf. zurückspringt (vom Konzept her; im Detail dürften heutige Implementationen diverse Optimierungen aufweisen). Das kann man in Python nach programmieren. Der Unterschied ist halt, dass dieser Mechanismus bei Prolog Teil der Sprache ist.
Zuletzt geändert von nezzcarth am Samstag 3. April 2021, 14:40, insgesamt 1-mal geändert.
Benutzeravatar
__blackjack__
User
Beiträge: 8572
Registriert: Samstag 2. Juni 2018, 10:21
Wohnort: 127.0.0.1
Kontaktdaten:

Samstag 3. April 2021, 14:39

@ALSO: Du suchst eventuell etwas in dieser Richtung: https://pypi.org/project/python-constraint/
“Dawn, n.: The time when men of reason go to bed.” — Ambrose Bierce, “The Devil's Dictionary”
Benutzeravatar
pillmuncher
User
Beiträge: 1257
Registriert: Samstag 21. März 2009, 22:59
Wohnort: München

Samstag 3. April 2021, 16:00

Vor ein paar Jahren hab ich zum Spaß eine EDSL für Prolog-Programmierung in Python geschrieben. Du kannst sie gerne ausprobieren.

https://github.com/pillmuncher/hornet

Sag bescheid, ob es funktioniert. Doku gibt es keine, nur einige Beispiele zur Verwendung, deswegen Nachfragen gerne hier oder als PM.
In specifications, Murphy's Law supersedes Ohm's.
ALSO
User
Beiträge: 13
Registriert: Montag 29. März 2021, 07:32

Samstag 3. April 2021, 19:38

Hi, danke. für die links.
Ich wollte eher fragen wie ihr dieses Problem in Python löst, um es vergleichen zu können:
Von B, F, I kann jeder 6, 10 oder 3 sein und analog gilt noch:
A C D E H 2 1 9 8 4
A E F H J 5 810 4 2
D E H I J 6 4 2 5 9

Was ist C E G H J ? C=1; G=7 ;J=5 ; E/H=2/4; (B=3 I=6 F=10 A=8 D=9)
Benutzeravatar
pillmuncher
User
Beiträge: 1257
Registriert: Samstag 21. März 2009, 22:59
Wohnort: München

Samstag 3. April 2021, 22:06

@ALSO: Die 810 sollen 8 und 0 sein, oder?
In specifications, Murphy's Law supersedes Ohm's.
Benutzeravatar
pillmuncher
User
Beiträge: 1257
Registriert: Samstag 21. März 2009, 22:59
Wohnort: München

Samstag 3. April 2021, 22:51

@ALSO: Egal. Ich hab noch eine andere Prolog-in-Python-Lib geschrieben, allerdings ohne Cut. Hier: https://github.com/pillmuncher/yogic
Beispielcode für dein Problem:

Code: Alles auswählen

from itertools import permutations
from lib.yogic import *

def equate(letters, numbers):
    return alt(*[unify(letters, list(permutated_numbers))
                for permutated_numbers in permutations(numbers)])

# ----8<---------8<---------8<---------8<---------8<---------8<---------8<-----

a = var()
b = var()
c = var()
d = var()
e = var()
f = var()
h = var()
i = var()
j = var()

equation = seq(
        equate([b, f, i], [6, 10, 3]),
        equate([a, c, d, e, h], [2, 1, 9, 8, 4]),
        equate([d, e, h, i, j], [6, 4, 2, 5, 9]),
)

for n, each in enumerate(resolve(equation)):
    print('Ergebnis', n, '----------------------------------------------')
    print('a', each[a])
    print('b', each[b])
    print('c', each[c])
    print('d', each[d])
    print('e', each[e])
    print('f', each[f])
    print('h', each[h])
    print('i', each[i])
    print('j', each[j])
    print()
print()
Ergebnis:

Code: Alles auswählen

Ergebnis 0 ----------------------------------------------
a 1
b 10
c 8
d 2
e 9
f 3
h 4
i 6
j 5

Ergebnis 1 ----------------------------------------------
a 1
b 10
c 8
d 2
e 4
f 3
h 9
i 6
j 5

Ergebnis 2 ----------------------------------------------
a 1
b 10
c 8
d 9
e 2
f 3
h 4
i 6
j 5

Ergebnis 3 ----------------------------------------------
...
Ergebnis 23 ----------------------------------------------
a 8
b 3
c 1
d 4
e 9
f 10
h 2
i 6
j 5

Die Zeile mit der 810 in deinen Vorgaben produziert kein Ergebnis, also hab ich sie weggelassen.
In specifications, Murphy's Law supersedes Ohm's.
ALSO
User
Beiträge: 13
Registriert: Montag 29. März 2021, 07:32

Sonntag 4. April 2021, 07:34

Sorry meine Schuld, es ist nicht 810 sondern 8,10
Von B, F, I kann jeder 6, 10 oder 3 sein und analog gilt noch:
A,C, D, E, H 2, 1, 9, 8, 4
A, E, F, H, J 5, 8,10, 4, 2
D, E, H, I, J 6, 4, 2, 5, 9

Was ist C E G H J ? C=1; G=7 ;J=5 ; E/H=2/4; (B=3 I=6 F=10 A=8 D=9)
ALSO
User
Beiträge: 13
Registriert: Montag 29. März 2021, 07:32

Sonntag 4. April 2021, 08:53

Vielen Dank - echt super mit der fehlenden Zeile müsste es eindeutig sein
ALSO
User
Beiträge: 13
Registriert: Montag 29. März 2021, 07:32

Sonntag 4. April 2021, 09:28

Habe die Zeile ergänzt - wo finde ich das lib.yogic - ich habe anaconda




equation = seq(
equate([b, f, i], [6, 10, 3]),
equate([a, c, d, e, h], [2, 1, 9, 8, 4]),
equate([a, e, f, h, j], [5, 8, 10, 4, 2]),
equate([d, e, h, i, j], [6, 4, 2, 5, 9]),
)
Benutzeravatar
pillmuncher
User
Beiträge: 1257
Registriert: Samstag 21. März 2009, 22:59
Wohnort: München

Sonntag 4. April 2021, 12:42

ALSO hat geschrieben:
Sonntag 4. April 2021, 09:28
Habe die Zeile ergänzt - wo finde ich das lib.yogic - ich habe anaconda
Hier: https://github.com/pillmuncher/yogic

Es ist aber nur ein Spielzeug. Ich bastel mir alle paar Jahre ein neues Prolog-in-Python als Übungsprojekt.
In specifications, Murphy's Law supersedes Ohm's.
ALSO
User
Beiträge: 13
Registriert: Montag 29. März 2021, 07:32

Sonntag 4. April 2021, 14:17

ich finde es super
Benutzeravatar
pillmuncher
User
Beiträge: 1257
Registriert: Samstag 21. März 2009, 22:59
Wohnort: München

Sonntag 4. April 2021, 15:43

@ALSO: Danke, freut mich, dass es für jemanden nützlich ist. Übrigens habe ich gerade gesehen, dass ich doch einen Cut eingebaut hatte.

Ein paar Anmerkungen:
  • Es ist wirklich nur ein Spielzeug. Es gibt nicht mal Dokumentation.
  • backtracking.py implementiert die Backtracking-Monade (Dont fear the Monad: https://www.youtube.com/watch?v=ZhuHCtR3xq8).
  • Monaden sind letztlich nur eine bequeme und formalisierte Art, Continuation Passing Style zu verwenden, ohne das jedesmal explizit programmieren zu müssen. Die Mutter aller Monaden ist deswegen die Continuation-Monade, mit der sich alle anderen Monaden bauen lassen. Prolog-in-Python lässt sich un-monadisch ebenfalls leicht bauen, wenn man nur Continuations verwendet, wie hier: https://www.ps.uni-saarland.de/~duchier ... tions.html
  • Python hat standardmäßig Strict Evaluation (https://wiki.c2.com/?StrictEvaluation). Damit trotzdem rekursive Aufrufe wie in Prolog möglich werden, gibt es einen @recursive Decorator (https://www.python.org/dev/peps/pep-0318).
  • Es gibt in yogic zwei Arten, Prädikate zu bauen: Entweder man gibt aus einer Funktion aus bereits bestehenden Prädikaten zusammengesetzte Werte zurück, z.B. mittels alt() ("oder") bzw. seq() ("und"), oder man deklariert mittels @predicate eine Funktion als Prädikat und gibt dann einzelne Auswertungs-Ergebnisse mittels yield zurück, die damit implizit als Werte in einem seq() interpretiert werden.
  • Sofern man beide Dekoratoren verwendet, muss @recursive immer vor @predicate stehen.
  • tailcalls.py wurde gar nicht verwendet, deswegen habe ich es jetzt rausgenommen.
  • Der Name yogic ist nur ein Witz. Er setzt sich zusammen aus dem y in Python und dem ogic in Logic, und bezieht sich auf das Yogische Fliegen:Bild
In specifications, Murphy's Law supersedes Ohm's.
ALSO
User
Beiträge: 13
Registriert: Montag 29. März 2021, 07:32

Montag 5. April 2021, 06:40

Ah ok - ich schaue das durch.

wie ist es mit der Rechenzeit bei komplexeren Aufgaben?
z.B.
ALSO
User
Beiträge: 13
Registriert: Montag 29. März 2021, 07:32

Montag 5. April 2021, 08:14

Läuft irgendwie nicht - syntax? - modul?

Code: Alles auswählen

from itertools import permutations
from lib.yogic import *

def equate(letters, numbers):
    return alt(*[unify(letters, list(permutated_numbers))
                for permutated_numbers in permutations(numbers)])

# ----8<---------8<---------8<---------8<---------8<---------8<---------8<-----

a = var()
b = var()
c = var()
d = var()
e = var()
f = var()
g = var()
h = var()
i = var()
j = var()
k = var()
l = var()

equation = seq(
        equate([a, d, e, f, j, k, l], [2, 8, 6, 9, 1, 7, 4]),
        equate([a, b, c, e, h, i, j], [11, 1, 12, 8, 4, 5, 10]),
        equate([b, c, d, e, f, g, h], [5, 2, 9, 8, 11, 3, 10]),
        equate([a, d, f, g, i, j, k], [4, 6, 12, 1, 2, 9, 3]),
        equate([b, c, g, h, j, l], [3, 4, 7, 11, 5, 10]),                      
)

for n, each in enumerate(resolve(equation)):
    print('Ergebnis', n, '----------------------------------------------')
    print('a', each[a])
    print('b', each[b])
    print('c', each[c])
    print('d', each[d])
    print('e', each[e])
    print('f', each[f])
    print('g', each[g])
    print('h', each[h])
    print('i', each[i])
    print('j', each[j])
    print('k', each[k])
    print('l', each[l])     
    print()
print()
Zuletzt geändert von ALSO am Montag 5. April 2021, 08:17, insgesamt 1-mal geändert.
Antworten