theorem-proving

5calore

3risposta

Corrispondenza del modello con operatori associativi e commutativi

La corrispondenza del modello (come trovata in ad esempio Prolog, i linguaggi della famiglia ML e varie shell di sistema esperto) normalmente funziona associando una query a data element per elemento

11calore

8risposta

Utilizzo di dimostratori di teoremi per trovare gli attacchi

Ho sentito parlare dell'utilizzo di dimostratori di teoremi automatici nel tentativo di dimostrare che le vulnerabilità di sicurezza non esistono in un sistema software. In generale questo è diabolica

5calore

2risposta

Qualcuno ha visto una buona implementazione Prolog open source del dimostratore di teoremi SATCHMO?

Ho visto parecchi articoli sul dimostratore del teorema SATCHMO che parlano di implementazioni Prolog. Ma l'unica implementazione del codice sorgente che ho trovato finora era in un libro ed era davve