π-WAM Accelerated Prolog (New!)

(c) 2005-2026 XLOG Technologies AG