pl-static.x86_64 : Static library for SWI Prologppl-gprolog-static.x86_64 : The static archive for the GNU Prolog interface of the Parma PolyhedraLibrary
ppl-swiprolog.x86_64 : The SWI-Prolog interface of
,{"@id": "18", "ref-info":{"ref-title":{"ref-titletext":"Set operations on polyhedra using binary spaceSet operations on polyhedra using binary space partitioning trees.