Sto giocando con i vincoli in (swi) prolog utilizzando la libreria clpfd. Sto provando a identificare quando un insieme di vincoli incapsula o sussume l'altro, ad es. X < 4 incapsula X < 7 come ogni v
Ho letto un breve articolo su Prolog e programmazione logica. Sono curioso di sapere se il programma logico può fare l'algebra. Come potresti essere in grado di chiedere quale sia la variabile di X ne