前向き推論まえむきすいろんまえ'むき・<すい'ろん>

LogikVorwärtsinferenz