curry

23calore

1risposta

Che tipo possono impedire la sospensione obiettivo in linguaggi logici?

Dalla sezione 3.13.3 del curry tutorial: operazioni che sono chiamati residuate rigida, mentre le operazioni che restringono sono chiamati flessibile. Tutte le operazioni definite sono flessibili che

type-systems logic-programming curry 2011-01-12

---

9calore

1risposta

La funzione restituisce "Nessuna soluzione" invece di "Niente"

Ho un tipo di dati standard che rappresenta le formule della logica dei predicati. Una funzione che rappresenta una regola di eliminazione deduzione naturale per la disgiunzione potrebbe essere simile

functional-programming logic-programming maybe curry 2011-09-30

---

9calore

2risposta

La maggior parte del linguaggio logico-funzionale più utile e istruttivo da apprendere

Sono rimasto molto sorpreso dalla potenza di Prolog. Ci è voluto un po 'di tempo per girare la testa, ma per me sembrava essere la lingua dichiarativa più bella là fuori. Ecco perché recentemente, dop

functional-programming logic-programming mercury curry 2013-07-16

---

17calore

4risposta

Cosa c'è di più interessante o potente: Curry, Mercury o Lambda-Prolog?

Vorrei chiederti quale sistema formale potrebbe essere più interessante da implementare da zero/reverse engineer. Ho esaminato alcuni progetti esistenti e open source di sistemi di programmazione logi

logic prolog logic-programming mercury curry 2010-06-01

---