clojure-core.logic

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

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

1risposta

distincto vs. fd/distinct in core.logic

Qual è il vantaggio dell'utilizzo di fd/distinct nei casi in cui gli elementi si troveranno in un dominio limitato anziché distincto? Quanto segue restituisce ([0 1] [1 0]). ;;; With distincto (run*

8calore

3risposta

Come risolvere equazioni matematiche utilizzando core.logic

Ho provato a digitare in una query in core.logic: (run* [q] (== 0 (+ (* q q) (* 4 q) 4))) E prompt dice, error: lvar cannot be cast to a number Nel caso in cui non ho completamente confuso su cosa

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!

5calore

1risposta

Estrazione di elementi di una mappa da Clojure core.logic

Sto cercando di estrarre i dati da una mappa utilizzando Clojure core.logic. Questo codice fa come voglio che: (run 10 [q] (fresh [?id ?type ?name] (membero ?type [:t2 :t1]) (== q [?i

11calore

2risposta

Eliminazione dei risultati duplicati durante l'interrogazione di un albero genealogico con core.logic

Sto modellando un albero genealogico con core.logic. Vorrei rispondere alle domande con run* e restituirle tutti i risultati senza duplicare. Sostituire tutto defn con def tabled mi dà i risultati che

5calore

1risposta

unificazione core.logic corrisponde valore nella mappa ma non chiave

Non capisco perché dai seguenti due esempi, il primo restituisce il valore corretto (1), mentre il secondo restituisce (). Mi sarei aspettato il risultato (:key) o un'eccezione che non riesce a trovar

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

3risposta

Quanto sono simili le lingue di database relazionali e la programmazione logica?

Quali sono le somiglianze e le differenze in termini di concetti fondamentali e implementazione tra un linguaggio di database relazionale sql e un linguaggio di programmazione logica come prolog e clo