New Logic programming stub