Relational Programming Takeaways
- triples
- exhaustive search
- separation of concerns: (1) syntax, (2) engine
Triples
Exhaustive Search
Separation of Concerns
- Relational Programming syntax is declarative
- syntax states what is “true” but does not state how to implement operations
See Also
Triples
Factbases 101
Factbases
PROLOG For Programmers
- miniKanran
- PROLOG