prolog

5calore

2risposta

Restringere goal_expansion/6 per compilare solo il tempo

In SICStus Prolog, esiste un hook per l'espansione di un obiettivo: goal_expansion/6 che viene chiamato sia in fase di compilazione che in fase di esecuzione durante il metacalling. Queste chiamate co

9calore

1risposta

Prolog ha un alias "operatore" come Haskell?

In Haskell, esiste una funzione di linguaggio chiamata "as" -operator (talvolta noto come alias). L'idea è la seguente: proposta si ha una funzione che ad esempio prende in input una lista e vuole tor

7calore

1risposta

Perché SWI-Prolog mi dà solo la prima risposta?

Sono nuovo di Prolog. Sto solo provando semplici esempi da imparare. Ho questo file .pl con queste righe: parent(pam,bob). parent(tom,bob). parent(tom,lio). parent(bob,ann). parent(bob,pat). pare

8calore

1risposta

Questo codice è ricorsivo in coda?

Sto provando a scrivere una soluzione per AdventCode il giorno 6 in Prolog. (http://adventofcode.com/day/6) In precedenza ho scritto una soluzione che creava dinamicamente e sostituiva i predicati, pe

5calore

3risposta

Qual è la differenza tra abolish/1 e retactall/1?

Dalla lettura del manuale, non riesco a trovare la differenza tra i due. Il manuale dice: Si consiglia di utilizzare retractall/1 per cancellare tutte le clausole di un predicato dinamica. Quindi ho s

6calore

1risposta

Contare il numero di elementi di una lista: come funziona affettazione

stavo lavorando su un problema Prolog che consiste nel contare il numero di elementi di una lista: count([], 0). count([H|T], N) :- count(T, X), N is X+1, N > 0. posso capire il moti

6calore

2risposta

Prolog vs Erlang (e altre lingue funzionali)

Cosa c'è che non va con Prolog? Prolog è abbastanza buono con elenchi e combinazioni di pattern e offre un backtracking come bonus. Eppure per decenni rimane una lingua a parte, mentre le lingue funzi

7calore

3risposta

istruzioni switch in Prolog

In predicati Prolog, che spesso scrivono istruzioni condizionali ripetitivi come questo, ma mi vorrebbero poter essere scritte in modo più conciso: output(Lang, Type, Output) :- (Lang = javascrip

8calore

1risposta

Genera tutte le permutazioni della lista [1, 1, 2, 2, ..., n, n] dove il numero di elementi tra ogni coppia è pari in Prolog

Recentemente ho iniziato a imparare Prolog e ho avuto l'incarico di scrivere un predicato list(N, L) che genera elenchi di L tale che: L ha 2N lunghezza, ogni numero compreso tra 1 e N avviene esattam

5calore

1risposta

Come convertire i vettori in array in ECLiPSe (CLP)? (o Prolog)

Devo risolvere i puzzle di Sudoku nel formato di un vettore contenente 9 vettori (di lunghezza 9 ciascuno). Visto che i vettori sono elenchi concatenati in Prolog, ho pensato che la ricerca sarebbe an