Tryckt datalog med reglor och olan erhälles inän.nde