Prolog

Hint Code for Prolog

Open terminal and type in gprolog to the toplevel, and exit by CTRL&D or CTRL&C + e
visualization

Have your code ready in, e.g. hello.pl
Enter gprolog to the toplevel.
From prolog toplevel, consult your code by either of the following ways:
- [hello].
- consult(hello).
Then you can run all the queries. e.g. ancestor(john,Who).
To debug: trace. (and exit by notrace.)

hello.pl
- Hint to get you started on prolog, containing the basic syntax.
examples.pl
- Some more-complex examples.
unique_list.pl
- An example from Kimmo's old slides, a showcase telling you the difference between declarative programming languages and imperative languages.
sudoku_cell.pl
- Hint code on basis of finite-domain solver.
list2D_hint.pl
- Some examples on how to deal with a 2D array in prolog.
plain_domain.pl
- A piece of hint that might help you implement plain_tower with higher efficiency!
check_row_unique.pl
- Suggests one way of using the library function sort for easier checking within each line. (For columns consider transpose)
show_cut.pl
- Showing the impact of cut.