Prolog & SQL

• Different representation power

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

• Correspondence

前のｽﾗｲﾄﾞ

次のｽﾗｲﾄﾞ

最初のｽﾗｲﾄﾞに戻る

ｸﾞﾗﾌｨｯｸｽの表示