Main Page
From Prologstandard
(Difference between revisions)
ParkerJones (Talk | contribs) |
ParkerJones (Talk | contribs) |
||
| Line 2: | Line 2: | ||
* [[ISO Standard]] | * [[ISO Standard]] | ||
* [[Language design principles]] | * [[Language design principles]] | ||
| - | * [[Subsumption | + | * [[Subsumption checking]] |
* [[Predicate property]] | * [[Predicate property]] | ||
* [[sto_unification/1]] | * [[sto_unification/1]] | ||
* [[call_cleanup/2]] | * [[call_cleanup/2]] | ||
* 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 18:33, 17 May 2007
A summary of discussions regarding Prolog standardisation.
