prolog

6calore

3risposta

Prolog - utilizzando termini per rappresentare e complessi accesso, dati nidificate

my_computer([ case([ motherboard([board(plastic),ports(metal),slots(plastic),capacitors(plastic)]), power_supply_unit([casing(metal),cables(plastic),connectors(plastic),capacitors(pla

data-structures prolog nested 2015-02-24

---

7calore

2risposta

Cosa fa il Prolog se si X = f (X)?

Che cosa significa in Prolog confrontare un predicato con una variabile non associata?

prolog 2015-04-17

---

5calore

1risposta

SICStus Prolog Compilatore JIT

SICStus Prolog 4.3 ha aggiunto un compilatore JIT per processori x86-64. Ho due domande relative al compilatore JIT. Innanzitutto, dove posso trovare della documentazione (documenti, note o memo) sull

prolog x86-64 jit sicstus-prolog 2015-03-03

---

5calore

1risposta

Prestazioni di tabulazione non uniformi in BProlog 8.1

Ho fatto alcuni esperimenti con le funzionalità di tabulazione di b-prolog versione 8.1 ed è stato piuttosto sorpreso dalle prestazioni osservate. Ecco il codice che ho usato. Conta il numero di Colla

performance prolog memoization b-prolog prolog-tabling 2015-05-04

---

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)).

prolog clpfd 2015-03-18

---

5calore

1risposta

Testing predicato "ordine sicura termine"

In una recente interrogazione (How to define (and name) the corresponding safe term comparison predicates in ISO Prolog?) @false chiesto un'implementazione del termine ordinamento predicato lt/2, una

testing prolog order iso-prolog 2015-05-07

---

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

prolog constraints clpfd 2015-05-07

---

5calore

1risposta

C'è un prologo che può essere eseguito in JavaScript nel browser

Sto cercando una versione di prolog che può essere eseguita in JavaScript in un browser. Voglio essere in grado di utilizzare prolog per incorporare operazioni logiche in un'applicazione web javascrip

javascript prolog 2015-03-22

---

17calore

1risposta

Avvisare il processore Prolog per utilizzare pagine gigantesche

Esistono implementazioni Prolog che supportano l'utilizzo di pagine enormi (2 MB/4 MB per pagina di memoria) anziché le pagine di memoria di vaniglia 4Kb. Idealmente, vorrei dichiarare all'interprete/

performance prolog virtual-memory tlb huge-pages 2015-03-27

---

8calore

1risposta

Si prega di spiegare questo simulatore di Macchina di Turing scritto in Prolog

Il Wikipedia Prolog article include questo simulatore di Macchina di Turing: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf

prolog turing-machines 2015-04-02

---