and-rule/r2l
second rule /and-rule
example /and-rule
Bug fix
Implemented a function to extract all variable nodes from a given instance link according to its pattern link.
Only extend patterns with shared variable nodes.
change TOdo-rule4 to HIGHER-ORDER form
correct indentation
minor correction
lower-order representation to-do-rule 4
lower order to-do-rule-5
Use GroundedPredicateNode
PM: virtual links key on GroundedPredicateNode
virtual links are no longer reatert-than links
Get rid of GreaterthanLink
Get rid of GreaterThanLink
Handle the virtual links via callback
Add a bit more documentation.
Merge pull request #867 from linas/gt2

Rename GreaterThanLink to EvaluationLink
Removed bracket which led to an error in the cogserver