prolog

7calore

2risposta

problema quando si cerca di definire un operatore in Prolog

Ho definito un file di prologo con il seguente codice: divisible(X, Y) :- X mod Y =:= 0. divisibleBy(X, Y) :- divisible(X, Y). op(35,xfx,divisibleBy). Prolog si lamenta che '$ record_c

10calore

5risposta

Controllo tipo Prolog

C'è un modo per determinare il tipo di un elemento all'interno di un elenco in Prolog? So che le variabili non sono digitate in modo esplicito in Prolog, ma devo verificare se un elemento è un numero,

15calore

4risposta

Esecuzione del codice prolog su un iPhone

Attualmente ho la necessità di eseguire il codice prolog in un'applicazione che sto creando. Sono consapevole del fatto che Apple probabilmente non consentirebbe mai qualcosa di simile nell'App Store,

13calore

2risposta

Programmazione Erlang: Will Learning Prolog Help?

Imparare Prolog aiuterà ad imparare Erlang in un modo specifico per Erlang? Erlang è iniziato come Prolog concorrente, ma il moderno Erlang è collegato a Prolog (oltre la sintassi)? Capisco che impara

6calore

3risposta

Come si codifica un programma in Prolog per stampare numeri da 1 a 10 utilizzando la ricorsione?

Come si codifica un programma in Prolog per stampare numeri da 1 a 10 utilizzando la ricorsione? Ho provato quanto segue ma non funziona, puoi dirmi perché? print_numbers(10) :- write(10). print_num

20calore

4risposta

Ciao mondo in Prolog

Mi sto strappando i capelli cercando di trovare come scrivere un programma Hello World in Prolog. Voglio solo di creare un programma che gira in questo modo: > ./hw Hello, world! > Il problema è c

5calore

3risposta

Definizione del tipo di Prolog in swi-prolog

in visual prolog esiste la sezione "domini" in un programma prolog in cui è possibile definire i tipi. C'è qualcosa di simile in swi-prolog? In prolog visivo tipo è definito come: domains NewType = t

7calore

2risposta

Asserzione di regole dinamiche in SWI-prolog

Sto provando ad aggiungere una regola dinamicamente alla knowledge base usando SWI-prolog dove il corpo della regola è sconosciuto in precedenza. La regola desiderata simile a questa: rule(a) :- fact(

5calore

2risposta

Prolog - trova le parole nella matrice

Data una matrice di lettere nxn e un elenco di parole, il programma dovrebbe trovare tutti gli aspetti delle parole nella matrice e la loro posizione. Possono apparire su-giù, a destra-sinistra e in d

5calore

2risposta

Digitare il combinatore Y

http://muaddibspace.blogspot.com/2008/01/type-inference-for-simply-typed-lambda.html è una definizione concisa del calcolo lambda tipizzato in Prolog. Sembra a posto, ma poi si pretende di assegnare u