prolog

6calore

3risposta

Converti numero di Peano s (N) per intero in Prolog

mi sono imbattuto in questa valutazione numero naturale di numeri logici in un tutorial e mi sta dando un po 'di mal di testa: natural_number(0). natural_number(s(N)) :- natural_number(N). La regol

7calore

2risposta

Ordinare un elenco in Prolog

Prolog ha un modo unico di gestire le cose, soprattutto perché praticamente ogni operazione comporta la ricorsione di un tipo o dell'altro. Uno degli esempi classici di ogni lingua è l'ordinamento di

7calore

1risposta

Posso usare variabili con assert/1?

Quello che ho ora controlla che X (Y) non è un fatto accettato nel mio piccolo DB. Poiché X (Y) restituisce false, tenterà di asserirlo. (Mi rendo conto che presenta dei problemi quando X è una regola

5calore

2risposta

Come stampare numeri da 1 a 100 in Prolog?

Il seguente codice è un codice di prologo che dà tutti i numeri interi superiore a 0. Ogni volta che ho messo ; nell'interprete, dà il numero successivo: is_integer(0). is_integer(X) :- is_integer(Y)

5calore

2risposta

Come si fa a cercare e sostituire una lista con un'altra sottolista in Prolog?

Sto cercando di modificare un elenco per ricerca e sostituzione, mi chiedevo come faccio a cercare in un elenco con il termine di ricerca anche un elenco? Diciamo che ho una lista [1,2,3,4] Voglio ind

10calore

3risposta

Contare il numero di occorrenze di un numero in una lista

Sto scrivendo un programma in Prolog che contare il numero di occorrenze di un numero in una lista count([],X,0). count([X|T],X,Y):- count(T,X,Z), Y is 1+Z. count([_|T],X,Z):- count(T,X,Z). e ques

27calore

4risposta

Qual è il logico "non" in Prolog?

Il problema che ho di fronte è un po 'banale. voglio usare logico non in Prolog, ma sembra che not/1 non è la cosa che voglio: course(ai). course(pl). course(os). have(X,Y) :- course(X),course(Y),

6calore

2risposta

Qual è la differenza tra un elenco con qualsiasi cosa ([_]) e qualsiasi cosa (_)

Stavo cercando di realizzare quanto segue, se ho due liste, L1 e L2, volevo che il risultato (R) fosse la "sottrazione" di L2 da L1. Esempio: L1 = [1,2,3] L2 = [2,3,4,5] R = [1] ero in grado di r

5calore

2risposta

Qualcuno ha visto una buona implementazione Prolog open source del dimostratore di teoremi SATCHMO?

Ho visto parecchi articoli sul dimostratore del teorema SATCHMO che parlano di implementazioni Prolog. Ma l'unica implementazione del codice sorgente che ho trovato finora era in un libro ed era davve

6calore

1risposta

Voglio creare fatti dinamici in prolog

Ho scritto il seguente codice semplice, e mi aspetto che quando scrivo "male", questo codice mi chieda una volta "è vero?" e se inserisco "No", scrive sullo schermo "è femmina". male :- (print('is it