メタ述語

現代人のカタカナ語辞典

信達郎

ジェームス・M.バーダマン

［meta-predicate］【I】【算】ある問題を解決する際に知識の使い方を制御するメタ知識や，推論を行う際にどの推論を利用するかを制御するメタ推論を，論理型言語上で処理できるようにするもの．