名词解释：程式诉讼

解析：程式诉讼是罗马共和国后期裁判官在审判实践中创立的诉讼程序。程式诉讼由裁判官作成一定程式的书状，内容主要包括诉讼人请求的原因和目的，抗辩的记载及判决的提示等。诉讼程序分法律审查与事实审查两个阶段。