logic-programming

8calore

4risposta

C'è un modo per fare logic programming (pensa al Prolog) a Lua? In particolare: esiste un modulo Lua per la programmazione logica (miniKanren l'implementazione sarà la migliore, ma non è strettamente

5calore

1risposta

Estendere core.logic per i tipi personalizzati

sto sperimentando core.logic, e si vuole abilitare il mio tipo di dati personalizzato a partecipare nelle espressioni logiche: (deftype Expression [node vars] ....) Fondamentalmente questo rapp

11calore

1risposta

Come trovare l'ordine di elaborazione ottimale?

Ho una domanda interessante, ma non sono sicuro esattamente come frase che ... consideri il lambda calcolo. Per una determinata espressione lambda, ci sono diversi possibili ordini di riduzione. Ma al

5calore

2risposta

Come implementare la logica Horn pienamente dichiarativa?

Vorrei formalizzare alcune conoscenze ed eseguire query in quello che può essere definito come completamente dichiarativo Horn logic (o Prologo pienamente dichiarativo). Qualcuno potrebbe fornire alcu

8calore

2risposta

Purezza di predicati Prolog che utilizzano le primitive impuri

so che var/1, nonvar/1 e !/0 sono primitivi impuri, ma non il loro uso rende ogni programma che utilizza impure? Ho scritto il seguente predicato plus/3 che si comporta come se fosse puro o almeno è q

5calore

1risposta

Lingue che ottimizzano l'utilizzo della programmazione logica

Esistono linguaggi che eseguono l'ottimizzazione in fase di compilazione utilizzando la programmazione logica arbitraria? Sto cercando un esempio di un linguaggio che vi permetterà di fare qualcosa di

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

21calore

2risposta

Spiegazione concisa di Core.logic

Desidero utilizzare Core.logic di Clojure. Tuttavia, voglio anche capire come funziona. C'è una spiegazione concisa da qualche parte? (Come implementare un valutatore metacircolare?) Grazie!

6calore

2risposta

L'ordinamento degli obiettivi in `core.logic` di Clojure

The following Clojure code utilizza core.logic per risolvere lo stesso problema logico con gli stessi obiettivi in due ordini diversi. Questa scelta di ordini fa sì che uno finisca rapidamente e l'a

7calore

4risposta

In che modo questa grammatica libera dal contesto utilizza gli elenchi di differenze nel funzionamento di Prolog?

Sto leggendo questo tutorial sul contesto grammatiche gratuiti a Prolog, e parlare in fondo alla pagina l'implementazione di una grammatica libera dal contesto in Prolog utilizzando gli elenchi di dif