"Prolagus"@cs .