Conjunction of 32665 predicates

[notoria]

With this program, a prolog code is generated with 32665 predicates but the conjunction fails, the definition of a and pasting the body of a in toplevel fails. There error is:

$ python main.py > predicates.pl
$ scryer-prolog predicates.pl

thread 'main' has overflowed its stack
fatal runtime error: stack overflow
[1]    1253364 abort (core dumped)  scryer-prolog predicates.pl

[UWN]

Could you put your program here into this issue? The pastebin no longer works

[Skgland]

The wayback machine has the site archived while it was still available https://web.archive.org/web/20200530183759/https://pastebin.com/FrRUahFE

# -*- coding: utf-8 -*-

# Source: https://stackoverflow.com/a/1119769

BASE62 = "0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ"

def encode(num, alphabet=BASE62):
    """Encode a positive number in Base X

    Arguments:
    - `num`: The number to encode
    - `alphabet`: The alphabet to use for encoding
    """
    if num == 0:
        return alphabet[0]
    arr = []
    base = len(alphabet)
    while num:
        num, rem = divmod(num, base)
        arr.append(alphabet[rem])
    arr.reverse()
    return ''.join(arr)

def decode(string, alphabet=BASE62):
    """Decode a Base X encoded string into the number

    Arguments:
    - `string`: The encoded string
    - `alphabet`: The alphabet to use for encoding
    """
    base = len(alphabet)
    strlen = len(string)
    num = 0

    idx = 0
    for char in string:
        power = (strlen - (idx + 1))
        num += alphabet.index(char) * (base ** power)
        idx += 1

    return num

if __name__ == '__main__':
    n = 2 ** 14 + 2 ** 13 + 2 ** 12 + 2 ** 11 + 2 ** 10 + 2 ** 9 + 2 ** 8 + 2 ** 7 + 2 ** 4 + 2 ** 3 + 1
    for i in range(n):
        print('a' + encode(i) + '.')
    print('a :- a0', end='')
    for i in range(1, n):
        print(', a' + encode(i), end='')
    print('.')