Pascal’s Triangle in Prolog in bytes. Cheevos Holes Recent Holes Langs Medals Misc All Holes 12 Days of Christmas 24 Game 99 Bottles of Beer Abundant Numbers Abundant Numbers (Long) Arabic to Roman Arithmetic Numbers Arrows Ascending Primes ASCII Table Billiards brainfuck Card Number Validation Catalan Numbers Catalan’s Constant Christmas Trees Collatz CSS Colors Cubes Day of Week DFA Simulator Diamonds Divisors Emirp Numbers Emirp Numbers (Long) Emojify Evil Numbers Evil Numbers (Long) Factorial Factorisation Farey Sequence Fibonacci Fizz Buzz Foo Fizz Buzz Bar Forsyth–Edwards Notation Fractions Game of Life Gijswijt’s Sequence Happy Numbers Happy Numbers (Long) Hexdump Hilbert Curve Intersection Inventory Sequence ISBN Jacobi Symbol Kaprekar Numbers Kolakoski Constant Kolakoski Sequence Leap Years Levenshtein Distance Leyland Numbers ln 2 Look and Say Lucky Numbers Lucky Tickets Mahjong Mandelbrot Maze Medal Tally Minesweeper Morse Decoder Morse Encoder Musical Chords N Queens Niven Numbers Niven Numbers (Long) Number Spiral Odious Numbers Odious Numbers (Long) Ordinal Numbers PalindromemordnilaP Pangram Grep Partition Numbers Pascal’s Triangle Pernicious Numbers Pernicious Numbers (Long) Poker Polyominoes Prime Numbers Prime Numbers (Long) Proximity Grid QR Decoder Quine Recamán Repeating Decimals Reverse Polish Notation Reversi Rijndael S-box Rock-paper-scissors-Spock-lizard Roman to Arabic ROT13 Rule 110 Scrambled Sort Set Seven Segment SI Units Sierpiński Triangle Smith Numbers Spelling Numbers Star Wars GPT Star Wars Opening Crawl Sudoku Sudoku (Fill-in) Ten-pin Bowling Tic-tac-toe Time Distance Tongue-twisters Topological Sort Transpose Sentence Trinomial Triangle United States Vampire Numbers Van Eck Sequence Zeckendorf Representation Zodiac Signs γ λ π τ φ √2 𝑒 Apéry’s Constant Calendar Connect Four CSS Colors (Inverse) CSS Grid Ellipse Perimeters Flags Floyd-Steinberg Dithering Gray Code Decoder Gray Code Encoder Hexagonal Spiral Highly Composite Numbers NFA Simulator Odd Polyomino Tiling p-adic Expansion Polygon Triangulations QR Encoder Quadratic Formula Semiprime Numbers Smooth Numbers Snake Sphenic Numbers Tower of Hanoi Turtle Tutorial All Languages ><> Assembly AWK Bash BASIC Berry brainfuck C C# C++ Civet Clojure COBOL Coconut Common Lisp Crystal D Dart Elixir F# Factor Forth Fortran Gleam Go GolfScript Groovy Haskell Hexagony J Janet Java JavaScript jq Julia K Kotlin Lua Nim OCaml Pascal Perl PHP PowerShell Prolog Python R Raku Rockstar Ruby Rust Scheme sed SQL Swift Tcl TeX V VimL Wren Zig 05AB1E ALGOL 68 APL Arturo Befunge BQN CJam CoffeeScript Egel Erlang Fennel Harbour Hare Haxe Hush Hy iogii Knight Luau Odin Picat Qore Racket Rebol Rexx Scala Squirrel Stax Uiua Umka Vala Vyxal Bytes Chars Scoring Bytes Chars Language All ><> Assembly AWK Bash BASIC Berry brainfuck C C# C++ Civet Clojure COBOL Coconut Common Lisp Crystal D Dart Elixir F# Factor Forth Fortran Gleam Go GolfScript Groovy Haskell Hexagony J Janet Java JavaScript jq Julia K Kotlin Lua Nim OCaml Pascal Perl PHP PowerShell Prolog Python R Raku Rockstar Ruby Rust Scheme sed SQL Swift Tcl TeX V VimL Wren Zig Experimental Language 05AB1E ALGOL 68 APL Arturo Befunge BQN CJam CoffeeScript Egel Erlang Fennel Harbour Hare Haxe Hush Hy iogii Knight Luau Odin Picat Qore Racket Rebol Rexx Scala Squirrel Stax Uiua Umka Vala Vyxal Hole All 12 Days of Christmas 24 Game 99 Bottles of Beer Abundant Numbers Abundant Numbers (Long) Arabic to Roman Arithmetic Numbers Arrows Ascending Primes ASCII Table Billiards brainfuck Card Number Validation Catalan Numbers Catalan’s Constant Christmas Trees Collatz CSS Colors Cubes Day of Week DFA Simulator Diamonds Divisors Emirp Numbers Emirp Numbers (Long) Emojify Evil Numbers Evil Numbers (Long) Factorial Factorisation Farey Sequence Fibonacci Fizz Buzz Foo Fizz Buzz Bar Forsyth–Edwards Notation Fractions Game of Life Gijswijt’s Sequence Happy Numbers Happy Numbers (Long) Hexdump Hilbert Curve Intersection Inventory Sequence ISBN Jacobi Symbol Kaprekar Numbers Kolakoski Constant Kolakoski Sequence Leap Years Levenshtein Distance Leyland Numbers ln 2 Look and Say Lucky Numbers Lucky Tickets Mahjong Mandelbrot Maze Medal Tally Minesweeper Morse Decoder Morse Encoder Musical Chords N Queens Niven Numbers Niven Numbers (Long) Number Spiral Odious Numbers Odious Numbers (Long) Ordinal Numbers PalindromemordnilaP Pangram Grep Partition Numbers Pascal’s Triangle Pernicious Numbers Pernicious Numbers (Long) Poker Polyominoes Prime Numbers Prime Numbers (Long) Proximity Grid QR Decoder Quine Recamán Repeating Decimals Reverse Polish Notation Reversi Rijndael S-box Rock-paper-scissors-Spock-lizard Roman to Arabic ROT13 Rule 110 Scrambled Sort Set Seven Segment SI Units Sierpiński Triangle Smith Numbers Spelling Numbers Star Wars GPT Star Wars Opening Crawl Sudoku Sudoku (Fill-in) Ten-pin Bowling Tic-tac-toe Time Distance Tongue-twisters Topological Sort Transpose Sentence Trinomial Triangle United States Vampire Numbers Van Eck Sequence Zeckendorf Representation Zodiac Signs γ λ π τ φ √2 𝑒 Experimental Hole Apéry’s Constant Calendar Connect Four CSS Colors (Inverse) CSS Grid Ellipse Perimeters Flags Floyd-Steinberg Dithering Gray Code Decoder Gray Code Encoder Hexagonal Spiral Highly Composite Numbers NFA Simulator Odd Polyomino Tiling p-adic Expansion Polygon Triangulations QR Encoder Quadratic Formula Semiprime Numbers Smooth Numbers Snake Sphenic Numbers Tower of Hanoi Turtle Tutorial # Golfer Points Bytes Time Submitted 1st Lydxn 🇨🇦 1,000 66 11ms 20 Nov 2021 1st btnlq 1,000 66 11ms 23 Nov 2021 1st GrayJoKing 🇦🇺 1,000 66 10ms 23 Nov 2021 4th IanUtley 943 70 1,725ms 4 Oct 2023 5th lynn 930 71 11ms 17 Nov 2021 6th arjanadriaanse 🇳🇱 917 72 48ms 28 Sep 2023 6th annaproxy 917 72 10ms 4 Oct 2023 8th ovs-code 🇩🇪 710 93 25ms 30 Jun 2024 9th LSWdigital 647 102 18ms 17 Nov 2021 10th Mikey-Beep 🇬🇧 384 172 16ms 13 Aug 2025 11th MeWhenI 🇻🇦 307 215 25ms 26 Aug 2023 12th dokutan 90 736 45ms 20 Jul 2025 13th mokymok 🇺🇸 85 780 9ms 15 Nov 2021 13th retrohun 85 780 9ms 28 Dec 2022 13th Shanethegamer 🇺🇸 85 780 11ms 13 Sep 2023 13th HumanoidCPU 85 780 10ms 13 May 2024 13th Mabeloid 🇳🇴 85 780 10ms 3 Oct 2024 13th CaedenHarper 🇨🇦 85 780 9ms 16 Aug 2025 19th KatieLG 🇬🇧 82 802 10ms 14 Nov 2021 19th KatieLG-Transpiler 🇬🇧 82 802 10ms 24 Jun 2022 1–20 of 20