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.