logic-programming

41calore

13risposta

Interpreter/compiler Prolog incorporato per Java

Sto lavorando a un'applicazione in Java, che deve fare alcune deduzioni di regole logiche complesse come parte della sua funzionalità. Mi piacerebbe codificare le mie deduzioni logiche in Prolog o in

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

5calore

4risposta

Multithreading in ... lingue funzionali? (Prolog)

Quando il mio amico ha iniziato a studiare Prolog a scuola, l'ho preso in giro per imparare una lingua inutile. Tuttavia, mi ha mostrato alcune cose che non ho mai nemmeno immaginato possibile; Voglio

7calore

2risposta

Una domanda sulla logica e sulla corrispondenza di Curry-Howard

Potresti spiegarmi quale è la connessione di base tra i fondamenti della programmazione logica e il fenomeno della somiglianza sintattica tra i sistemi di tipi e la logica convenzionale?

15calore

4risposta

Esecuzione del codice prolog su un iPhone

Attualmente ho la necessità di eseguire il codice prolog in un'applicazione che sto creando. Sono consapevole del fatto che Apple probabilmente non consentirebbe mai qualcosa di simile nell'App Store,

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

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