Main Page
From Prologstandard
(Difference between revisions)
ParkerJones (Talk | contribs) |
ParkerJones (Talk | contribs) |
||
| Line 1: | Line 1: | ||
* [[ISO Standard]] | * [[ISO Standard]] | ||
| + | * [[Language design principles]] | ||
* [[Subsumption Checking]] | * [[Subsumption Checking]] | ||
* [[Predicate property]] | * [[Predicate property]] | ||
* [[sto_unification/1]] | * [[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:50, 17 May 2007
- ISO Standard
- Language design principles
- Subsumption Checking
- Predicate property
- sto_unification/1
- Mailing list archive [1]
