Next: Datalog Basis Up: A Rule-based Inference Engine Previous: Server-side processing Contents
This chapter introduces first-order (predicate) logic as a Data Model. Datalog is presented as a general language for expressing operations on relations (see Section 3.1) and providing intensional knowledge.