bigint support

trealla/query_test.go

@@ -4,6 +4,7 @@ import (
 	"context"
 	"errors"
 	"fmt"
+	"math/big"
 	"os"
 	"reflect"
 	"testing"
@@ -132,6 +133,15 @@ func TestQuery(t *testing.T) {
 				},
 			},
 		},
+		{
+			name: "bigint",
+			want: []trealla.Answer{
+				{
+					Query:    "X=9999999999999999, Y = -9999999999999999, Z = 123",
+					Solution: trealla.Solution{"X": big.NewInt(9999999999999999), "Y": big.NewInt(-9999999999999999), "Z": int64(123)},
+				},
+			},
+		},
 	}
 
 	for _, tc := range tests {

trealla/term.go

@@ -4,6 +4,7 @@ import (
 	"bytes"
 	"encoding/json"
 	"fmt"
+	"math/big"
 	"strconv"
 	"strings"
 	"unicode"
@@ -15,6 +16,7 @@ import (
 //	- string
 //	- int64
 //	- float64
+//	- *big.Int
 //  - Atom
 // 	- Compound
 //	- Variable
@@ -89,13 +91,22 @@ func unmarshalTerm(bs []byte) (Term, error) {
 			Args    []json.RawMessage
 			Var     string
 			Attr    []json.RawMessage
+			Number  string
 		}
 		dec = json.NewDecoder(bytes.NewReader(bs))
 		dec.UseNumber()
 		if err := dec.Decode(&term); err != nil {
 			return nil, err
 		}
 
+		if term.Number != "" {
+			n := new(big.Int)
+			if _, ok := n.SetString(term.Number, 10); !ok {
+				return nil, fmt.Errorf("trealla: failed to decode number: %s", term.Number)
+			}
+			return n, nil
+		}
+
 		if term.Var != "" {
 			attr := make([]Term, 0, len(term.Attr))
 			for _, raw := range term.Attr {