prolog

10calore

5risposta

Qualcuno può raccomandare un compilatore Prolog per .Net. Quelli che sono stato in grado di trovare alla ricerca in rete, non sembrano essere stati aggiornati per diversi anni. Grazie Shiraz

6calore

1risposta

Dichiarare un predicato dinamica gprolog

Ho questo codice Prolog: dynamic(player_at/1). player_at(house). goto(X) :- retract(player_at(house)), assert(player_at(X)). Ma ho ancora ottenere questo errore: uncaught exception: error(permissi

8calore

6risposta

Prolog Albero genealogico

l'ho fatto, ma non è che mostra le risposte quando chiedo circa i fratelli, sorelle, zii, zie Questo è ciò che ho scritto, cosa c'è di sbagliato? /*uncle(X, Y) :– male(X), sibling(X, Z), parent(Z, Y).

26calore

5risposta

tabelle hash in prolog

Ho risolto un enigma in prolog l'altro giorno e ho capito che stavo usando un altro linguaggio di programmazione, avrei usato un hash table/dictionary, ma per quanto ne so questo non è possibile in pr

5calore

4risposta

risultati unici da prolog

C'è un modo semplice per fare una query in prolog restituire solo ogni risultato una volta? per esempio sto cercando qualcosa di simile: deadly(Xn) :- scary(X), Xn is X - 1, Xp is X + 1, not(safe(Xn))

12calore

4risposta

prolog al convertitore SQL

Senza pensare troppo, mi sembra che un grande insieme di funzionalità di Prolog potrebbe essere implementato come calcolo relazionale (a.k.a. SQL). Qualcuno ha mai sentito parlare di strumenti per con

5calore

1risposta

Come utilizzare JPL (interfaccia bidirezionale Java/Prolog) su Windows?

Sono interessato a incorporare un interprete Prolog in Java. Un'opzione utilizza JPL, ma i collegamenti per il download sul sito JPL sono interrotti e il installation page menziona un file jpl.zip che

6calore

1risposta

Prolog precedenza degli operatori e regole di corrispondenza

ho i prossimi due fatti caricata nel mio interprete prologo: foo(U+V,1). foo(U*V,2). Ora cerco i prossimi query con che risultati: foo(x*x+x,R). --> R = 1 foo(x+x*x,R). --> R = 1 foo(x*x*x,R). --