Problem Settings

• Restriction

  • No function symbol (Datalog)
  • No recursion
  • Ground examples

• Additional restriction on the Head of hypothesis

  • :- modeh(1, class(+name,#class) )?
  • :- modeh(1, active(+name) )?
    • Some +types variables
    • No -type variable

前のｽﾗｲﾄﾞ

次のｽﾗｲﾄﾞ

最初のｽﾗｲﾄﾞに戻る

ｸﾞﾗﾌｨｯｸｽの表示