LoJiX is a framework for logic compilers, and a Prolog implementation.

Priorities are in the order presented here:

• Get cut working.
• Get call and not working.
• Complete nested inline conjunction/disjunction.
• Change the memory model to 64-bit, with an appropriately chosen layout for tagged heap values.
• Get basic int and float arithmetic working.
• Implement a simple garbage collector.