Fixato `is-instance`

`class-name` doveva essere un parametro opzionale con default `t`.
Mancavano anche i controlli per dire che `instance` è una sottoclasse

Fixato field*

Aggiunto qualche esempio e modificato parametri di field*

Corretto roba

Aggiunto is-instance

Aggiunto field e field*

Aggiunto matricola

fatta la `make`

controllo dei tipi sulle classi

Dato che per ora non ci sono istanze ho usato `is-class` sul valore ma
sarà sicuramente da sostituire con `is-instance` quando ci sarà la
funzione `make`

Controllo dei tipi base

Versione ancora migliore di `is-class`

Version più figa di `is-class`

aggiunto controllo `is-class`

`inherit` fatta

Iniziato la `def-class`

Aggiunti commenti al codice prolog

Merge branch 'prolog'

Update README.org

Breve descrizione per Matte

missato un merge conflict

Aggiunti wrapper per `def_class` e `make` e rinominato titoli

Prima chiamando `def_class(name, ...)` se si verificava un errore
`name` rimaneva un nome valido di classe e non era possibile riprovare
a creare la classe con lo stesso nome.
Idem per `make(name, ...)` se si verificava un errore `name` rimaneva
un nome valido di istanza.

messa la definizione di fieldx

messo mini descrizioni pazze appena ci capisco qualcosa faccio il lavoro vero

Merge branch 'prolog' into MetodiAlternativi

Fixata indentazione e `check_value_type` + aggiunto esempio albero

Rimosso call_method

Modificato replace per non utilizzare gli operatori OR e IfThen

Nuovo predicato replace e rimossi i predicat edit_body,list_to_conjunction e conjunction_to_list

Fixato cancellazione definizione di `this`

La Mirko-alternativa

Esempi incredibili e Fixato il predicato fieldx

Fixato chiamata ricorsiva di un metodo con `this`

Type checks

Non ho fatto molti test quindi potrebbero esserci errori.

Fixato backtracking a superclass se metodo già definito dalla class

Fixato passaggio di parametri ad un metodo

Metodi ez

Aggiunto matricola

Fixato ridefinizione di class con lo stesso nome, inizio caso 3 make

Fatta la `fieldx`

Spammato `nonvar(ClassName)` per sicurezza

Fatto il caso `make(Var, classe)`

Rimossa la disgiunzione perchè ad Antoniotti sta sul cazzo

`is_part_of` mo si chiama `is_member` perchè era troppo lungo da scrivere.

Se viene inserito un `field` formato da solo nome e valore, il suo
tipo di defult è `nil` questo per evitare di scrivere più volte ogni
funzione che usa la `findall` per trovare `field`.
Antoniotti culo.

fatto matricola anche di qua suca

bizzo caghi il cazzo . tua madre

Update README.org

Cominciato a fare la `make`

Manca il controllo sul tipo di `field`.
Ho modificato la `def_class` per far aggiungere alla classe figlio le
parti di tutte le classi genitore.

`make` senza field aggiuntivi chiama la `set_default_fields_for` per
aggiungere a questa instance tutte le parte come `field`.
La `make` con field aggiuntivi imposta quelli di default e poi tramite
`set_fields_for` rimuove dalla base di conosceza i field da aggiornare
lasciando solo quelli nuovi.

Ancora non so cosa fare ne coi metodi ne come sostituire `this` nel
corpo di un metodo con l'istanza stessa.

Iniziato a fare il predicato `def_class`

Non so se è legale aggiungere altri predicati non specificati nel PDF
ma non idea di come altro fare.

"Il simbolo *this* all’interno di <form> si riferisce all’istanza stessa."
Non ho idea di cosa voglia dire e non so nemmeno come far matchare
`_Form` con una congiunzione di predicati nella `add_part_to`.

Sarebbe utile definire un predicato `stampa(Class)` che stampa le info
dei predicati dinamici `is_class` / `is_child_of` / `is_part_of`
giusto per non spammare `listing` per ogniuno.

Aggiunti i commenti all'inizio dei file .lisp/.pl

Primo commit