I would like to migrate some Prolog calls to native LUA code and I don't want to implementate the full Prolog semantic again.