search

slitayem / fuxi

Automatically exported from code.google.com/p/fuxi
0 stars 0 forks source link

No support for 2nd order predicates in top-down or GMS algorithms #26

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
Rules with second order predicates of the form ?C(:Foo :Bar) are not supported 
by tip-down or GMS algorithms

Original issue reported on code.google.com by chime...@gmail.com on 28 Aug 2010 at 1:52

GoogleCodeExporter commented 8 years ago 
see: 
http://code.google.com/p/fuxi/source/detail?r=df12fb3c5f1da45415efb62737ef678af8
a68327

Original comment by chime...@gmail.com on 7 Sep 2010 at 12:55