Penguin
 
Predicate Logic
LikePages

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