Van Eck Sequence in Prolog in bytes.
    
    
        
            
                
                
                
                    | 
                
            
             | 
                | #
                 | Golfer
                
                 | Points
                 | Bytes
                 | Time
                 | Submitted
         | 
    
    
    
    
        
            | 1st
             | 
     
    lynn
            
             | 1,000
        
             | 
                
                    54
                    
                
             | 
        
             | 
    
         | 
            | 1st
             | 
     
    GrayJoKing
    🇦🇺
            
             | 1,000
        
             | 
                
                    54
                    
                
             | 
        
             | 
    
         | 
            | 1st
             | 
     
    btnlq
            
             | 1,000
        
             | 
                
                    54
                    
                
             | 
        
             | 
    
         | 
            | 1st
             | 
     
    annaproxy
            
             | 1,000
        
             | 
                
                    54
                    
                
             | 
        
             | 
    
         | 
            | 1st
             | 
     
    IanUtley
            
             | 1,000
        
             | 
                
                    54
                    
                
             | 
        
             | 
    
         | 
            | 6th
             | 
     
    ovs-code
    🇩🇪
            
             | 931
        
             | 
                
                    58
                    
                
             | 
        
             | 
    
         | 
            | 7th
             | 
     
    Mikey-Beep
    🇬🇧
            
             | 806
        
             | 
                
                    67
                    
                
             | 
        
             | 
    
         | 
            | 8th
             | 
     
    snoozingnewt
    🇺🇸
            
             | 425
        
             | 
                
                    127
                    
                
             | 
        
             | 
    
         | 
            | 9th
             | 
     
    MeWhenI
    🇻🇦
            
             | 40
        
             | 
                
                    1,342
                    
                
             | 
        
             | 
    
         | 
            | 10th
             | 
     
    mokymok
    🇺🇸
            
             | 21
        
             | 
                
                    2,566
                    
                
             | 
        
             | 
    
         | 
            | 10th
             | 
     
    SpareManiKatti
            
             | 21
        
             | 
                
                    2,566
                    
                
             | 
        
             | 
    
         | 
            | 10th
             | 
     
    retrohun
            
             | 21
        
             | 
                
                    2,566
                    
                
             | 
        
             | 
    
         | 
            | 10th
             | 
     
    Shanethegamer
    🇺🇸
            
             | 21
        
             | 
                
                    2,566
                    
                
             | 
        
             | 
    
         | 
            | 10th
             | 
     
    HumanoidCPU
            
             | 21
        
             | 
                
                    2,566
                    
                
             | 
        
             | 
    
         | 
            | 10th
             | 
     
    Mabeloid
    🇳🇴
            
             | 21
        
             | 
                
                    2,566
                    
                
             | 
        
             | 
    
         | 
            | 10th
             | 
     
    CaedenHarper
    🇨🇦
            
             | 21
        
             | 
                
                    2,566
                    
                
             | 
        
             | 
    
         | 
            | 17th
             | 
     
    KatieLG
    🇬🇧
            
             | 15
        
             | 
                
                    3,567
                    
                
             | 
        
             | 
    
         | 
            | 18th
             | 
     
    KatieLG-Transpiler
    🇬🇧
            
             | 15
        
             | 
                
                    3,568
                    
                
             | 
        
             | 
    
     |