added the thread model property to engine classes
added support for prolog engine factory methods