結果 : first order logic programming language