Penguin
Recent Changes
Blame: PredicateLogic
EditPageHistoryDiffInfoLikePages
Annotated edit history of PredicateLogic version 1, including all changes. View license author blame.
Rev Author # Line
1 StuartYeates 1 A form of logic on which [Z] and [Prolog] are based.