Main Page
From Prologstandard
(Difference between revisions)
ParkerJones (Talk | contribs) |
ParkerJones (Talk | contribs) |
||
| Line 2: | Line 2: | ||
* [[Subsumption Checking]] | * [[Subsumption Checking]] | ||
* [[Predicate property]] | * [[Predicate property]] | ||
| + | * [[sto_unification/1]] | ||
* Mailing list archive [http://neve.di.ubi.pt/mailman/listinfo/prolog-standard] | * Mailing list archive [http://neve.di.ubi.pt/mailman/listinfo/prolog-standard] | ||
Revision as of 17:42, 17 May 2007
- ISO Standard
- Subsumption Checking
- Predicate property
- sto_unification/1
- Mailing list archive [1]
