Does Prolog need GC when the o...

prologswi-prologlogic-programmingwarren-abstract-machineoccurs-check
Read More
Alternatives to the WAM...

prologwarren-abstract-machine
Read More
Flattened form in WAM...

prologwarren-abstract-machine
Read More
Does WAM Prolog have a Symbol ...

prologsymbol-tablewarren-abstract-machine
Read More
How can I inspect WAM code in ...

prologsicstus-prologwarren-abstract-machine
Read More
Which is the correct order to ...

prologwarren-abstract-machine
Read More
When Warren's Abstract Mac...

prologwarren-abstract-machine
Read More
In a Warren's Abstract Mac...

prologunificationwarren-abstract-machine
Read More
Show WAM code for a given Prol...

prologwarren-abstract-machine
Read More
GNU Prolog: Displaying WAM cod...

prologgnu-prologwarren-abstract-machine
Read More
Unification algorithm example ...

algorithmprologunificationunion-findwarren-abstract-machine
Read More