Predicate Logic - Waikato Linux Users Group

Recent Changes

A form of logic on which Z and Prolog are based.

Z
Prolog

Last edited on Wednesday, October 15, 2003 1:50:01 pm by StuartYeates

Please note that any user can change the contents of pages on this site, and therefore the Waikato Linux Users Group can offer no assurances that the information is correct, and the information on this site is not necessarily the opinion of the Waikato Linux Users Group, or any of its members. If you have any complaints about the contents of this page, please do not hesitate to contact the Waikato Linux Users Group, or, click the Edit button!

Creative Commons Attribution ShareAlike License

Unless otherwise noted, all pages on this site are licensed under the WlugWikiLicense.

Please visit the WlugSponsors