prolog

8calore

3risposta

Che cosa è esattamente una "variabile logica" e qual è l'approccio generale per l'implementazione della funzionalità della lingua?

Sto provando a scrivere un linguaggio di query di programmazione logica giocattolo, basato su varie fonti di istruzione tra cui SICP e The Art of Prolog (AoP). Sto solo cominciando a capire il mio pri

7calore

5risposta

SWI-Prolog come mostrare l'intera risposta (lista)?

Sto cercando di convertire una stringa in un elenco di codici ASCII in questo modo: 7 ?- string_to_list("I'm a big blue banana in space!", C). C = [73, 39, 109, 32, 97, 32, 98, 105, 103|...]. 8 ?-

5calore

3risposta

Prolog Principiante: Lista Reverse solo una volta

Si supponga che ho due liste arbitrarie che rappresentano le prime due voci di un 3-posto predicato: [anna,berta,charlotte],[charles,bob,andy] voglio abbinare ogni elemento in un terzo elenco (la te

6calore

2risposta

Prolog DCG: scrittura del lexer del linguaggio di programmazione

Sto cercando per il momento di separare il mio lexer e parser, sulla base del vago consiglio del libro Prolog e analisi del linguaggio naturale, che in realtà non entra nei dettagli circa lexing/token

8calore

1risposta

Mostra il codice WAM per un determinato programma Prolog

Dato un programma Prolog, esiste un comando GNU Prolog per visualizzare il codice WAM relativo a quel programma?

6calore

3risposta

Risolutore Prolog solutore di forza Brute-force per formule booleane

Sto provando a scrivere un algoritmo che cerca ingenuamente modelli di una formula booleana (NNF, ma non CNF). Il codice che ho può controllare un modello esistente, ma sarà a mancare (o non finire) q

5calore

1risposta

Argomenti di errore Prolog

Mi chiedo come aggiungere la verifica degli errori in Prolog. Per esempio Ho un programma che troverà per quanto tempo una lista è: listlen([],0). listlen([_|T],N) :- listlen(T,X), N is X+1

5calore

2risposta

grammatica free context in prolog

diciamo che ho avuto la seguente grammatica free context. S -> A A -> mAn A -> o Come apparire in prolog? Questo è quello che ho provato ma non funziona. La seconda linea sembra essere il problema

6calore

1risposta

Dove posso trovare un libro esaustivo su "Definite Clause Grammar" in Prolog?

Voglio imparare qualcosa in più su Definite Clause Grammar in Prolog e sto cercando qualche libro e tutorial online. Ho già visto qualcosa su "Learn Prolog Now", "The art of Prolog" e un tutorial su S

5calore

2risposta

Prolog: calcolo OEIS A031877 ("numeri inversione non banali") usando CLP (FD)

navigazione attraverso il impressionanteOn-Line Encyclopedia of Integer Sequences (cfr en.wikipedia.org), sono incappato la seguente successione di interi: A031877: numeri di inversione non banali (nu