an automatically parallel prolog system
Updated 2026-10-14 20:27:01 +01:00