Compile module include compiler of Elxlog
generated compiled code
Elxlog is main module of Elxlog
Print module is output functions for Elxlog
Prove Horn clause with SLD resolution
Read module is input functions of Elxlog.