kdrag.printers.prolog.to_prolog

kdrag.printers.prolog.to_prolog(vs: list[ExprRef], expr: ExprRef) → str

>>> x,y = smt.Ints("x y")
>>> to_prolog([x,y], smt.Or(x == 0, x == y))
'((X = 0) ; (X = Y))'

Parameters:

• vs (list[ExprRef])

• expr (ExprRef)

Return type:

str