friguzzi
commented
6 years ago Niccolo, ci sono due problemi 1) hai incluso nel first commit un sacco di file che non dovrebbero esserci: tutti i file binari generati dalla compilazione di cplint e cudd. Ti consiglio di creare un nuovo branch a partire dal mio cplint, copiare i file che hai modificato (mcintyre.pl, gli esempi, l'help) e fare una nuova pull request da quel branch 2) l'help va sistemato, spiegando meglio le opzioni disponibili, in modo simile a quanto fatto nel pldoc
Con il seguente lavoro sono stati resi unici i predicati multipli, aventi diverso numero di argomenti, aggiungendo l'argomento +Options:list che definisce una lista di opzioni per il predicato, con eventuali valori predefiniti. Inoltre sono stati aggiunte le dichiarazioni _:- predicateoptions per i predicati aventi opzioni. Infine sono stati aggiunti commenti con la sintassi riconosciuta da plDoc per la generazione automaica della documentazione.