Logic as a Data Model

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.



Subsections

Igor Wojnicki 2005-11-07