Hello Everybody I'm researching ways in Erlang to create Prolog (or any other logical language like) fact/belif base. Point is – some data structures should be stored on process for later evaluation. Best Regards David