clpfd

5calore

1risposta

Vincolo non propagato all'istanziazione dei membri dell'elenco

Sto costruendo un parser e un generatore per date e orari. In un normale linguaggio di programmazione questi sarebbero scritti separatamente. In Prolog + CLP (FD) posso scrivere un predicato che fa en

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

5calore

4risposta

Creazione di un predicato in Prolog che somma i quadrati dei soli numeri in una lista

Sto cercando di capire come creare un predicato in prolog che sommi i quadrati dei soli numeri pari in una data lista. risultato atteso: ?- sumsq_even([1,3,5,2,-4,6,8,-7], Sum). Sum = 120 ; false.

6calore

3risposta

Solving Tower of Hanoi dichiarative (Prolog)

Il mio professore ha dato this come esempio di Prolog. È un programma che risolve l'enigma della Torre di Hanoi, in cui devi spostare una pila di dischi in un altro peg spostando un disco dopo l'altro

5calore

1risposta

Implementazione della funzione XOR con Prolog CLPFD per numeri a 32 bit

Cerco di implementare l'esclusivo esclusivo o XOR in Prolog CLPFD. Questo dovrebbe essere predicato semplice come: xor(A, B, AxorB). A, B, AxorB sono numeri naturali (con 0) e AxorB è il risultato d

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

14calore

3risposta

Prolog - Gli argomenti non sono sufficientemente istanziati

Sto scrivendo un piccolo programma che conta quanti elementi in una lista non sono numeri. Ecco il mio codice: not_number([],0). not_number([X|T],R):- not(number(X)), R1 is R+1, not_nu

6calore

2risposta

Prolog - Gli argomenti non sono istanziati

Sto cercando di capire come funziona Prolog. Sto usando SWI-Prolog. Ecco un po 'di codice: forall(C1,C2) :- \+ (C1, \+ C2). foo(N) :- N < 10. bar(N) :- N > 5. foobar(N) :- forall(foo(N),bar(N)).

5calore

2risposta

Usa reificata vincoli di fare 3 numeri consecutivi

Ecco un profilo del mio programma di SWI-Prolog: :- use_module(library(clpfd)). consec1(L) :- L=[L1,L2,L3,L4,L5,L6,L7,L8,L9], L ins 1..9, ..., abs(L5-L4)#=1, all_different(L

5calore

2risposta

Elenco di numeri interi e loop infinito in Prolog CLPFD

Supponiamo di voler rappresentare numeri interi come: integer:Sign:[FirstDigit,SecondDigit,...]. Ad esempio, 42 sarebbe rappresentato come integer:positive:[4,2]. Ho bisogno di un predicato che generi