warren-abstract-machine

8calore

1risposta

Mostra il codice WAM per un determinato programma Prolog

Dato un programma Prolog, esiste un comando GNU Prolog per visualizzare il codice WAM relativo a quel programma?

prolog warren-abstract-machine 2015-12-15

---

5calore

1risposta

In una macchina astratta di Warren, come funziona il bind, se uno degli argomenti è un registro?

sto cercando di creare la mia propria implementazione WAM e mi sono bloccato a the exercise 2.4 non riesco a capire come eseguire istruzioni unify_value X4 in figura 2.4. Per quanto ho capito, questa

prolog unification warren-abstract-machine 2015-02-23

---

8calore

1risposta

Confronto di macchine astratte per l'esecuzione di Prolog

Sto cercando un documento di ricerca o qualsiasi altra pubblicazione che confronti diverse macchine astratte (più di una) per l'esecuzione di Prolog con interpreti prolog non basati su macchine abstac

prolog abstract-machine warren-abstract-machine 2014-05-17

---