Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Logic Programming - Datalog

  • Datalog is a syntactic subset of Prolog
    • Originally a rule and query language for deductive databases

  • Considers knowledge bases to have two parts
    • Extensional Database (EDB) consists of facts

    • Intentional Database(IDB) consists of non-ground rules

  • Restrictions:

    1. Datalog disallows function symbols

    2. Imposes stratification restrictions on the use of recursion + negation

    3. Allows only range restricted variables ( safe variables )

  • Safe Variables:
    • Only allows range restricted variables, i.e. each variable in the conclusion of a rule must also appear in a not negated clause in the premise of this rule.
    • This limits evaluation of variables to finitely many possible bindings


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.