Format Manual: PPL $\rightarrow$ Geracol

This file is called ppl_file.txt.

Commentaries can appear in any part of the file but it must preceded by the symbol # in the begging of the line.

The first line different from a Commentary must contain the following constants, in order of appeareance:

numvar numcla numcnf

-

numvar: number of distinct variables in the problem.

-

numcla: number of clauses that appear in the following numcla lines, not including commentaries lines.

-

numcnf: number of sentences, in the conjuctive normal form, with their probabilities interval. The last sentence is the one to be inferred.

The number 0 in the end of a line identify the end of a clause.

Below is presented a simple example of the file:

# 5 variables, 3 clauses e 3 sentences

5 3 3

# Clauses group

1 3 4 0

-1 3 -5 0

-3 4 2 -1 0

# Senteces and probabilities gruops

# Probabilities interval for the conjuction

#of first and third clauses

0.1 0.3 1 3 0

# Exact probabilitie for the second clause

0.5 0.5 2 0

# Sentence to be inferred

0.0 0.0 1 2 0