Main Page
From Prologstandard
(Difference between revisions)
ParkerJones (Talk | contribs) |
ParkerJones (Talk | contribs) |
||
| Line 1: | Line 1: | ||
* [[ISO Standard]] | * [[ISO Standard]] | ||
* [[Subsumption Checking]] | * [[Subsumption Checking]] | ||
| + | * [[Predicate property]] | ||
