minikanren

7calore

2risposta

Perché i nomi di miniKanren terminano sempre con `o`?

Tutte le relazioni miniKanren terminano con la lettera o. Qual è la motivazione per questo? Vedo che anche la libreria core.logic di Clojure esegue questa operazione.

16calore

2risposta

Come simulare un 'outer join' in core.logic?

Ho appena iniziato a giocare con core.logic, e per lavorarci sto cercando di implementare qualcosa di semplice che sia simile a un problema al quale sto attualmente lavorando professionalmente. Tuttav

13calore

2risposta

Comprensione del modello di esecuzione di Mini-Kanren

Il capitolo 5 di SICP spiega gli stagisti dei valutatori meta-circolari dello schema di una macchina di registro. C'è qualcosa che fornisce un tipo simile di Mini-Kanren in termini di primitive Scheme

27calore

3risposta

conda, condi, conde, condu

Sto leggendo the Reasoned Schemer. Ho qualche intuizione su come funziona conde. Tuttavia, non riesco a trovare una definizione formale di ciò che conde/conda/condu/condi fanno. Sono a conoscenza di h

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

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!