Skip to content

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

License

Notifications You must be signed in to change notification settings

rupertlssmith/lojix

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

LoJiX

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

Roadmap

2015-02-11

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.

About

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

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages