Chuck ProLog is fully-functional PROLOG interpreter + IDE for
Windows 3.1. It features:
Almost full Prolog syntax;
- Interactive debugging. The user can execute the
program step by step or until reaching breakpoint. The
entire stack, including unified variables, can be seen.
- Breakpoints. Breakpoints can be:
Unconditional. When a certain predicate is reached, the
Conditional. An attempt to unify the current predicate
and user-specified breakpoint predicate is made. If the
unification is successful, the execution stops. Whatever
the results, the test unification does not change the
state of the variables in the running program.
- Clause browser. Using the 'prowler' (doesn't it sound
better than 'browser'?) all predicates, or predicates
satisfying a certain condition are being found and displayed.
When the system assert and retract predicates are executed, or
whenever the clauses change, this change is reflected in the
Several built-in predicates, including assert and retract.
Documentation is available only in Bulgarian. You can download a
or view it
It contains technical documentation and user manual.
Development of Chuck ProLog has ended in 1995. I have no plans for
any further development.
Chuck ProLog is free for non-commercial use. For any further
Download Chuck Prolog and examples and follow the instructions:
Open ChuckProlog by starting PROLOG.EXE.
On the menu choose Program/Open and select the ha ...
The examples for Chuck Prolog contain the following files:
File Predicate Comment
bsort (In, Out)
Binary sort of the 'In' list. Result is ...
The source code for Chuck Prolog contain the following files:
Includes the header files necessary in all modules.
You can download the following items:
File Description ChuckProlog_binaries.zip
Binary distribution of Chuck Prolog. Contains all executable and DLL
files necessary to ...