Mi sono iscritto a una lezione che non avrei dovuto. Così ora sono un po 'fregato perché non capisco nessuna delle notazioni usate quando il mio professore stava spiegando la logica del primo ordine.
Ho iniziato a guardare il linguaggio di Mercury, che sembra molto interessante. Sono un nuovo programmatore di logica, ma piuttosto esperto di programmazione funzionale in Scala e Haskell. Una cosa ch