Yutaka Ichibangase

refine Term

1

#238 Refine interface `Term`, especially `*Compound`, so that we can introduce efficient representation of lists, strings, etc.

Module system with type-in module

1

https://github.com/ichiban/prolog/issues/292

Modules?

23

- Do we need modules in this library? - If we do, which style? - ISO/IEC 13211-2:2000 - Quintus (Sicstus, SWI, Scryer, and Trealla) The Quintus module system looks like...

Module

1

https://github.com/ichiban/prolog/issues/292 This PR implements a SICStus style module system.

Region-based memory management

1

Since we took advantage of Go's memory management, we have a lot of pointers and interfaces which are pointers disguised. This also lets us provide an approachable set of APIs,...

https://github.com/ichiban/prolog/issues/304