結果 : fopl examples in ai