Readme for Strawberry Prolog Light Edition
==========================================

Andrew Davison, ad@coe.psu.ac.th
June 2025

* Strawberry Prolog comes from 
  http://www.dobrev.com/download.html


Installation
============
* Double click on the EXE file.

* Press ENTER when asked.


Starting Strawberry Prolog
==========================
You start Strawberry Prolog by double clicking on
the strawberry icon on the Windows Desktop.

The executable is Prolog.exe, which is in
C:\Program Files\Strawberry Prolog.



Using Strawberry Prolog
========================
Create a new Prolog window by selecting File|New, and selecting
"Prolog File".

Type the facts, rules, _and_ a single query into the Prolog
window.

When you are ready to compile and run, select Run|Run (or
press F5). 

To get another answer after the first one, select Run|Next Answer
(or type F8).

Look at the Output window to see if the program has compiled 
and run successfully.

To load an existing Prolog file (which must be a text file
ending in .pro), use File|Open.