solver/swi-prolog¶
type prologTBD
meth (Arg₁: prolog) :: (Arg₂: string)TBD
type queryTBD
type term < sequenceTBD
meth (Arg₁: term) . (Arg₂: term)TBD
type atomTBD
meth (Arg₁: string::buffer):append(Arg₂: atom)TBD
type variableTBD
def Prolog: prologTBD