Deduzione del clausola definito Analizza gli algoritmi di detrazione con questo strumento.
Scarica ora

Deduzione del clausola definito Classifica e riepilogo

Deduzione del clausola definito Tag

Analizzare simulare deduzione algoritmo di deduzione Risoluzione SLD. Formato di cylog.

Deduzione del clausola definito Descrizione

La deduzione del clausola definita è una applicazione utile e facile da usare appositamente progettata per dimostrare vari algoritmi di detrazione, dalla risoluzione SLD utilizzata da Prolog all'utente che unifica manualmente le clausole. L'applet di detrazione accetta basi di conoscenza in formato CILOG e fornisce funzioni per risolvere una query in quella base di conoscenza. Ha anche opzioni per visualizzare gli alberi di prova.

Deduzione del clausola definito Software correlato