Using logic programming for modeling the one-carbon metabolism network to study the impact of folate deficiency on methylation processes.