Designing a Development Environment for Logic and Multi-Paradigm Programming