関数的ユニフィケーション文法
【かんすうてきゆにふぃけーしょんぶんぽう】
【kansuutekiyunifike-syonbunpou】
功能合一语法
関数的ユニフィケーション文法
【かんすうてきゆにふぃけーしょんぶんぽう】
【kansuutekiyunifike-syonbunpou】
功能统一文法