News: SWI-Prolog based EYE reasonerSearch Documentation:
Liberation Day in the NetherlandsPredicate msort/2