prolog

7calore

3risposta

Quanto sono simili le lingue di database relazionali e la programmazione logica?

Quali sono le somiglianze e le differenze in termini di concetti fondamentali e implementazione tra un linguaggio di database relazionale sql e un linguaggio di programmazione logica come prolog e clo

clojure prolog relational-database clojure-core.logic 2012-06-29

---

6calore

4risposta

Integrazione del prologo in altri ambienti

Utilizzo Prolog per un progetto accademico. Volevo sapere se c'è un modo per Prolog di interagire con altri linguaggi di programmazione. Quello che voglio è un facile reindirizzamento input/output del

prolog swi-prolog 2012-05-17

---

5calore

4risposta

Rimozione della ricorsione sinistra in DCG - Prolog

Ho riscontrato un piccolo problema con la ricorsione sinistra in questa grammatica. Sto provando a scriverlo in Prolog, ma non so come rimuovere la ricorsione a sinistra. <expression> -> <simple_expre

prolog grammar dcg left-recursion prolog-tabling 2012-05-19

---

8calore

1risposta

cosa fa la barra (/) in prolog?

Ho questo codice: set_value(X,Value,[X/_|T],[X/Value|T]). set_value(X,Value,[Y/V|T],[Y/V|NewT):- X\=Y,set_value(X,Value,T,NewT). set_value(X,Value,[],[X/Value]). ma non riesco a capire che cosa fa

prolog operators 2012-04-11

---

6calore

4risposta

if else if else clausola nel prologo simile al C/C++

In c lingua ho qualcosa di simile: if(cond1) {} else if(cond2) {} else {} come è possibile in Prolog?

prolog 2012-04-12

---

6calore

2risposta

Come annullare in Prolog

Sono nuovo di PROLOG e sono all'inizio degli esercizi su this page. Data la regole genitore (X, Y) e maschile (X), sto cercando di definire una regola madre (X, Y) come mother(X, Y) :- not(male(X

prolog 2012-04-13

---

7calore

6risposta

Implementazione più veloce dell'aritmetica verbale in Prolog

Ho già eseguito un risolutore generalizzato verbal arithmetic in Prolog, ma è troppo lento. Ci vogliono 8 minuti solo per eseguire l'espressione semplice. S E N D + M O R E = M O N E Y. Qualcuno può a

performance prolog logic clpfd cryptarithmetic-puzzle 2012-06-07

---

5calore

4risposta

Logiche in Prolog

Come posso esprimere le prossime 3 frasi in Prolog? All summers are warm. If it not summer, then it is winter. Now it is winter.

prolog logic 2012-06-07

---

5calore

2risposta

Alternativa per esprimere "commutatività" in Prolog?

come principiante di Prolog, ho trovato l'espressione commutativa in Prolog non del tutto intuitiva. per esempio se voglio esprimere X e Y sono in una famiglia, come: family(X,Y) :- married(X,Y)

prolog commutativity 2012-04-21

---

6calore

2risposta

SWI-Prolog - Fail per affermare

definisco un operatore come segue: :- op(500, xfx, =>). Quando cerco qualcosa di simile: assert(a => b). Prolog genera un errore che dice 'Non hai il permesso di modificare static_procedure (=>)/2

prolog prolog-assert 2012-04-23

---