A basic solar system in PLT-Scheme