prologlike
not defined yet