andot

package main

import (
	"fmt"
	"strings"
)

func maxlen(query string, text string) (max int) {
	max = 0
	p := 0

andot

all_number(Result) :-
    Digit = [1, 2, 3, 4, 5, 6, 7, 8, 9],
    member(A1, Digit),
    member(A2, Digit),
    member(A3, Digit),
    member(B1, Digit),
    member(B2, Digit),
    member(B3, Digit),
    member(C1, Digit),
    member(C2, Digit),