Implementazione, nel linguaggio prolog, del metodo dei Tableaux Analitici studiato nel corso di Logica.
Nel sistema sono stati definiti i seguenti operatori:
:- op(650, xfy, sse).
:- op(640, xfy, implies).
:- op(630, yfx, or).
:- op(620, yfx, and).
:- op(610, fy, not).
Il primo parametro del predicato op/3 rappresenta la priorità dell’operatore definito; nel nostro caso l’operatore con maggior priorità è il not, seguito in ordine da and, or, implies, sse.
Questi operatori rappresentano i connettivi logici come rappresentato in tabella:
Continua a leggere “Metodo dei Tableaux Analitici in Prolog”