Sono curioso di sapere se il programma logico può fare l'algebra

Question

Ho letto un breve articolo su Prolog e programmazione logica. Sono curioso di sapere se il programma logico può fare l'algebra. Come potresti essere in grado di chiedere quale sia la variabile di X nell'equazione 5 + X = 7 e ottenere una risposta di -2?

Answer 1

Che ne dici di questo? Si noti che questo funzionerà solo per X+Y=Z.

equation(X,Y,Z):- var(X),X is Z-Y. 
equation(X,Y,Z):- var(Y),Y is Z-X. 
equation(X,Y,Z):- var(Z),Z is X+Y. 

Si può chiedere:

equation(5,X,7). 
X = 2 . 
?- equation(2,5,X). 
X = 7. 
?- equation(X,5,7). 
X = 2 

Answer 2

Tutti i sistemi di gravi Prolog forniscono programmazione logica vincoli su domini finiti, denominato CLP (FD) in breve, con cui è possibile risolvere molti tali equazioni facilmente. Ad esempio, con SICStus Prolog, SWI e Yap:

?- use_module(library(clpfd)). 
true. 

?- 5+X #= 7. 
X = 2. 

A quanto pare, la risposta è 2 invece di -2. Controlla anche la programmazione della logica dei vincoli su altri domini, come i razionali con la libreria (clpq).

Answer 3

Sì, il Prolog può fare l'algebra.

Se si utilizza Google per Prolog e CAS (Computer algebra system) otterrete molti risultati.

ad es. Using Prolog as a CAS

Se si capisce che Prolog = Syntactic unification + backward-chaining + REPL,

poi rendersi conto che è l'unificazione che è il cuore di risolvere i problemi/equazioni, si può incorrere in un ragionamento equazionale che viene utilizzato per la risoluzione problemi che contengono equals (=). Questa stessa logica viene anche utilizzata con automated theorem provers e proof assistants.

Se si guarda here si troverà prolog.ml che implementa l'unificazione e il concatenamento in avanti in questo dimostratore di teoremi automatico.

Si consiglia inoltre di verificare term rewriting e cercare Google per la riscrittura dei termini per ulteriori informazioni sulla scienza di risolvere le equazioni utilizzando termini.