equal
deleted
inserted
replaced
157 .. _unification: http://en.wikipedia.org/wiki/Unification_(computing) |
157 .. _unification: http://en.wikipedia.org/wiki/Unification_(computing) |
158 .. _joins: http://en.wikipedia.org/wiki/Join_(SQL) |
158 .. _joins: http://en.wikipedia.org/wiki/Join_(SQL) |
159 .. _Datalog: http://en.wikipedia.org/wiki/Datalog |
159 .. _Datalog: http://en.wikipedia.org/wiki/Datalog |
160 .. _intensional: http://en.wikipedia.org/wiki/Intensional_definition |
160 .. _intensional: http://en.wikipedia.org/wiki/Intensional_definition |
161 .. _extensional: http://en.wikipedia.org/wiki/Extension_(predicate_logic) |
161 .. _extensional: http://en.wikipedia.org/wiki/Extension_(predicate_logic) |
|
162 |