A Geolog experiment attemts to construct either a proof or a model (affirmative or counter) for an input theory. Various techniques are illustrated in repeatable experiments.
These experiments assume that the reader has downloaded the Java GeologUI application and and that the reader repeats the experiments. Download the jar file by clicking on the snapshot above.
Many of the experiments reference controls on the user interface. This includes menu items, toolbar buttons or display panels.
Click on a link in the panel on the left to view the corresponding web experiment in this panel.