Убрал truthtable из closure class
Реализован парсинг аргументов функции
Massive commit

Fixed packages (all move to ru.matlog.*), added validation and
exceptions
fixed packagename
Merge pull request #14 from SammyVimes/sem

Sem