You can run the IF/Prolog development system including the constraints without installing additional software on your system. If you use the C interface of IF/Prolog you need a C compiler. To use the IF/OSF/Motif interface interface it is usually only necessary that an X server runs on your machine.