德语 ⇄ 英语 +

FOL-Programm n
人工智能	First-order Logic Program (Programm "Logik erster Ordnung"; ein Prüfer für Beweise im Prädikatenkalkül erster Ordnung)