How to start ETI

Start & Quit

1. Run the command prompt.

2. Type ETI.

Type q to quit ETI.

Load Rules

Type
load "filename"
to load rules. For example,

load "test.eti"

How to give a query.

Type one or more s-expressions. For example,

(reverse *X (1 2))

or

(member *X (1 2 3))(member *X (3 4 5))

Go to a tutorial!