comment to the getPrologEngine Method