Risoluzione e Programmazione Logica (Prolog). Risoluzione Abraham Robinson [1965] Se è noto che P è vera o Q è vera ed anche che P è falsa o R è vera,
PMI-NIC © - Tutti i diritti riservati 03 luglio 2014.
![Risoluzione e Programmazione Logica (Prolog). Risoluzione Abraham Robinson [1965] Se è noto che P è vera o Q è vera ed anche che P è falsa o R è vera,](https://static.fdocumenti.com/doc/330x215/5542eb4c497959361e8ba5bf/risoluzione-e-programmazione-logica-prolog-risoluzione-abraham-robinson-1965-se-e-noto-che-p-e-vera-o-q-e-vera-ed-anche-che-p-e-falsa-o-r-e-vera.jpg)
