c  go  java  js  lua  py  vbs  rkt  scm  pro  

TuProlog can be used in command line mode in the traditional edit-run cycle.

• Create/edit a Prolog text file.
• Run TuProlog on the Prolog text file.
• Capture the output (copy-paste terminal window, pipe output to file, etc.).

There is a simple IDE (Integrated Development Environment) for TuProlog as described in the PDF manuel. This page provides some additional details. Here is the command from the manual.

If java cannot be found, then it needs to be installed or a complete path to java may be needed.

For more on installing and using Java, see Java .

If 2p.jar cannot be found, then it needs to be downloaded and extracted or a complete path to 2p.jar is needed.

For more on installing and using TuProlog, see tuprolog .

The IDE is written in Java so is portable to Windows, Linux, Apple, etc. The IDE looks similar to what is pictured here.

In the IDE, the Prolog program text is referred to as the "Theory"

Here is program in TuProlog to enumerate and output the values for three logical variables.

Here is the Prolog code.
prints([]):- nl. prints([X|Rest]):- print(X), prints(Rest). b(0). b(1). go:- prints(['X Y Z\n']), prints(['-----\n']), b(X), b(Y), b(Z), prints([X,' ',Y,' ',Z,'\n']), fail. :- solve(go).
Here is the output of the Prolog code.
X Y Z\n -----\n 0 0 0\n 0 0 1\n 0 1 0\n 0 1 1\n 1 0 0\n 1 0 1\n 1 1 0\n 1 1 1\n

Copy the above text and paste it into the top edit area in the IDE. Note: One would normally type and make changes here.

Note that double quoted string literals will be automatically converted to singe quote string literals.

There are two edit buttons for "Undo Edit Action" and "Redo Edit Action".

Click the "Save" button to provide a name and save the text as a Prolog text file.

To "Run" the program one needs to do the following.

• Click the "Get Theory" button to parse the program text for any issues.
• In the command area following the "?-" below the text area, type a command, such as "solve.". TuProlog will attempt to solve the command.
• For many programs that use fail to backtrack and find more solutions the "solution" tab will show the final result. For the above program this is "no".
• Click the "output" tab to see the output.

The output in the "output" tab is as follows.

This the expected output.

To avoid the "no" in the "solution" one can add the following predicate to the program after the "go" predicate.

This tells Prolog that after backtracking on a fail the last thing to try is the second "go" which succeeds.

The "solution" tab now displays the following text.

---