PyLog is inpendent of any Prolog interpreter right? There's PyLog and PyProlog, the latter I believe is a wrapper and therefore requires SWI-Prolog (just like bevedere requires GNU-Prolog), but PyLog doesn't, is that correct? Just looking for confirmation. Also, PyLog supports backracking right? thx