there are 2 ways to do this:
1. download clingo and extract it.
2. copy the files into some location. for example: C:\clingo
3. Add "C:\clingo" to the environment variables settings.
4. Then you're all set. Go to command prompt, type cd c:\clingo
tyen type: clingo 0 someprogram.pl
Second way:
1. download clingo and extract it.
2. copy the files into some location. for example: C:\clingo
3. select clingo folder
4. press Shift key and right click that folder
5. Then you will see the Open Command Prompt Window Here option
click that option and you're all set.
Note: If you're using windows 8 on 32 bit, it may not work the recent version. However, clingo-3.0.5-win32 works perfect.
Happy Grounding and Solving!
No comments:
Post a Comment