Compilador WAM em Prolog

[Balrog]

Boas pessoal!!!

Alguém pode me ajudar em relação à implementação de um compilador para WAM (Warren's Abstract Machine) em Prolog??  :down:

Tipo como começar..o que fazer..como implementar..referências a que posso recorrer para saber o que fazer??  ?

Obrigadão pessoal!!!

Um abraço

[brunogsimoes]

Ficam aqui algumas referências:

Ait-Kaci, Hassan, "Warren's Abstract Machine: A Tutorial Reconstruction",

MIT Press, Cambridge, MA. 1991.

125 pages, ISBN 0-262-51058-8 paper , 0-262-01123-9 cloth.

Patrice Boizumault, "The Implementation of Prolog", Princeton

University Press,  Princeton, NJ, 1993. Translated by Ara M. Djamboulian and Jamal Fattouh. ISBN 0-691-08757-1, 357 pages.

Campbell, J.A. (ed): "Implementations of Prolog", John Wiley, 1984.

Sem bem me lembro acerca desse trabalho podes fazer uma implementação em qualquer linguagem.

No teu caso acho que será mais facil fazeres isso em phyton que tem muitos mais exemplos na net.