Computational Logic Based on Linear Logic and Fixed Points