Projog - true - always succeeds.

3.2. fail - always fails.

3.4. char_type(X,Y) - classifies characters.

3.3. `true` - always succeeds.

The goal true always succeeds.

Example

 ?- true.

yes

3.2. fail - always fails.

3.4. char_type(X,Y) - classifies characters.