Some prolog macros for rule-based programming: why? how?
Tim MenziesLindsay MasonPublished in: ACM SIGPLAN Workshop on Rule-Based Programming (2002)
Keyphrases
- programming language
- expert systems
- programming paradigms
- logic programming
- object oriented programming
- knowledge base
- knowledge representation
- programming environment
- constraint logic programming
- development environment
- rule based systems
- data driven
- rule base
- inference engine
- backward chaining
- theorem proving
- object oriented
- information retrieval
- database
- functional programming
- abstract machine
- macro operators
- declarative programming
- computer programming
- data model
- database systems
- artificial intelligence
- data sets