DOC: Updated section on PrologScript.