is.lill.acre.logic
Interfaces 
ITermFormatter
ITermParser
Classes 
ACRETermFormatter
ACRETermParser
Bindings
Term
Utilities
Exceptions 
MalformedTermException