Mark Thom

New top-level

4

This is a continuation of @notoria's work on a new top-level.

Thun

3

This PR is a continuation of the work of #622.

Port Simon Forman's Thun Interpreter

26

Now that `char_type` is implemented, I'd like to see Simon Forman's Thun interpreter ported to Scryer Prolog: https://osdn.net/projects/joypy/scm/hg/Joypy/blobs/tip/thun/thun.pl The interpreter is wonderfully demonstrative of Prolog's strengths. But, it needs a...

document Rust-based builtins in lib/builtins.rs (#2030)

4

Document the remaining ISO built-ins implemented completely in Rust.

Variable bitfield sizes in structs

2

I'm writing a dynamic language interpreter that uses pointer tagging to identify records in memory. It uses staged tagging, so that the number of tag bits can vary depending on...

Custom allocation for integers

7

In scryer-prolog I want to allocate integers to a custom garbage-collected arena so that the memory of unreachable (but always immutable) integers and rationals can be implicitly recycled without calling...

In response to [@infogulch infogulch's comment](https://github.com/mthom/scryer-prolog/commit/79bc2d9c68da2257a94eb22ef8717a304173e344#commitcomment-141790142). In a PR because I was unsure it wouldn't break the build.