Constraint Based Logic Programming for Real-Time

The information technology is a still rapid growing branch. It has led to the growing use of computer controlling applications in the range from electric devices to cars, airplanes, games, the electronic highway etc. In common they have the real time element, some hard real-time, some soft real-time. They use programs with special timing relationships. For example a program running in the microprocessor controlling an automatic pilot system for an airplane. The system should sense changes in wind, speed and react within a predefined time-interval to keep the plain in the air. They constitute a significant portion of the growth in the computer industry. This growth however is stagnated by adequate software-support for development. There should be a system to make rapid, easy and of course correct real-time applications. In this report constraint based logic programming will be explored and is the main subject; To explore some of these languages and applications made with them. However i..