Logic Operating System: Design Issues