. . . "extended self-contained PROLOG"@en . "3"^^ . "2"^^ . . . . . .