hmmm.. that is the idea to use it from outside.
Also exploring Prolog. There it also seems impossible to just reuse the rules, but may be I can cheat in different way.
Also looked of paper of ERESYE written in Erlang, they seem to be doing something along the lines what I’m trying.
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.73.4327&rep=rep1&type=pdf
As a side note, if you want a prolog’y thing on the beam there is erlog. ^.^
What do you mean ‘outside’? On the beam all things, code or not everywhere at any time exist compiled in a module (even in the shell you are running is just inside a module except it even interprets what you are doing, so you could make an anonymous function for example, but that anonymous function is bound to that module too).