Comment Comment by dfischer Similarly down this path I found Factor. A different approach but supports backtracking. https://factorcode.org/ parent dfischer 5 years ago