3 ms·

ECLiPSe was always quite good back when I worked in the area. https://eclipseclp.org/ https://eclipseclp.org/