A Definitional Approach to the Combination of Functional and Relational Programming

1 1..........................................................................................Introduction 2 2............................................................................. Definitions and GCLA 2 2.1.....................................................................Inductive definitions 2 2.2..................................................... Partial inductive definitions (PID) 4 2.3........................................ GCLA (Generalized horn Clause LAnguage) 7 2.4......................................................An example: A toy expert system 9 3.............................................................................. Functional definitions 10 3.1.............................................................................The definition 11 3.2........................................................................Ordering the rules 11 3.3.............................................................................Some queries 12 3.4........................