A form of logic on which Z and Prolog are based.
2 pages link to PredicateLogic:
lib/main.php:944: Notice: PageInfo: Cannot find action page