swp-prolog-phi4.ll 3.11 KB