PrologProgrammingLanguage Interface