Ich bin an einer Python-Bibliothek interessiert, die symbolische Manipulation erlaubt, wo die Symbole und Unbekannte eines beliebigen Typs sein können.
Dies ist der Code, den ich schreiben möchte:
%Vor%Oder eine grobe Annäherung an das. Es muss nicht einmal so clever sein, ich wäre glücklich genug, viele zusätzliche Introspektionsmethoden aufrufen zu müssen, um etwas wie das oben genannte zu erhalten (zum Beispiel, selbst wenn die logische Tautologie nicht direkt vereinfacht wird)
>Mein erster Instinkt war, sympy zu betrachten, aber es scheint, dass die Bibliothek die starke Annahme macht, dass symbolische Variablen Zahlen sein müssen; und ich möchte zumindest Sequenzen und Sets bearbeiten:
%Vor%Gibt es eine Möglichkeit zu verstehen, nicht-numerische Variablen zu verstehen, oder eine andere Bibliothek, die ähnliche Dinge tun kann?
Es ist nicht sicher, wie gut es zu den Anwendungen passt, die Sie im Sinn haben, aber das nltk (Natural Language Toolkit) enthält Module für die symbolische Manipulation, einschließlich Logik erster Ordnung, typisiertem Lambda-Kalkül und einem Theorembeweiser. Werfen Sie einen Blick auf dieses Howto .