論理プログラミング
仮説推論を扱っている。これまでの演繹推論とは別種になる。
述語記号の項に、述語記号も含めるようにしている。例えば、p(A, B, C) :- q(A, foo), r(B, bar), C.では、Cを別個の述語記号にできる。テンプレートメタ的な書式も扱っており、例えばp(A, B, C) :- (C)(A, B)では、Cが述語名でAとBがその項になる。
λProlog(英語版)、HiLog(英語版)