convertible.pl: implementing DCG rules for 1st and 3rd steps in the three-steps conversion, as well as other rules including lexicon. 
 Question: What DCGs are used?
Author's own DCG rules are defined from scratch.