As far as I can tell, with sound unification, SLD resolution should not create cyclic data structures (Is this correct?) If so, one could, in theory, implement Prolog in such a way that it wouldn't...

In the context of hacking clpz on sicstus-prolog I want to glimpse at the warren-abstract-machine code generated by SICStus Prolog. As an example, let's dissect the following predicate! is_list([...

Given a Prolog program, is there any GNU Prolog command to view the WAM code relative to that program?

I'm trying to create my own WAM implementation and I'm stuck at the exercise 2.4 I can't understand how to execute instruction unify_value X4 in figure 2.4. As far as I understand, this instructi...

I'm looking for research paper or any other publication that compare different abstract machines (more than one) for execution of Prolog with prolog interpreters not based on abstact machines...

I remember once reading that there were at least two other alternatives invented roughly at the same time as the WAM. Any pointers?