Tower of Hanoi in Prolog in bytes. Achievements Cheevos Holes Languages Medals Miscellaneous 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 Calendar Card Number Validation Catalan Numbers Catalan’s Constant Christmas Trees Collatz Continued Fractions 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 Multitap Input 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 Tower of Hanoi Transpose Sentence Trinomial Triangle United States Vampire Numbers Van Eck Sequence Zeckendorf Representation Zodiac Signs γ λ π τ φ √2 𝑒 Alphabetic Numbers Apéry’s Constant Binary Lambda Calculus Connect Four Crossword CSS Colors (Inverse) CSS Grid Ellipse Perimeters Flags Floyd-Steinberg Dithering Gray Code Decoder Gray Code Encoder Hexagonal Spiral Highly Composite Numbers NFA Simulator Numbrix Odd Polyomino Tiling p-adic Expansion Polygon Triangulations QR Encoder Quadratic Formula Semiprime Numbers Smooth Numbers Snake Sphenic Numbers Taxicab Numbers Turtle Tutorial All Languages ><> ALGOL 68 Assembly AWK Bash BASIC Berry brainfuck C C# C++ Civet Clojure COBOL Coconut Common Lisp Crystal D Dart Elixir Erlang 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 APL ArkScript Arturo Befunge BQN CJam CoffeeScript Egel Fennel Harbour Hare Haxe Hush Hy iogii Knight Lily Luau Odin Picat Qore Racket Rebol Rexx Scala Squirrel Stax Uiua Umka Vala Vyxal Bytes Chars Scoring Bytes Chars Language All ><> ALGOL 68 Assembly AWK Bash BASIC Berry brainfuck C C# C++ Civet Clojure COBOL Coconut Common Lisp Crystal D Dart Elixir Erlang 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 APL ArkScript Arturo Befunge BQN CJam CoffeeScript Egel Fennel Harbour Hare Haxe Hush Hy iogii Knight Lily 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 Calendar Card Number Validation Catalan Numbers Catalan’s Constant Christmas Trees Collatz Continued Fractions 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 Multitap Input 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 Tower of Hanoi Transpose Sentence Trinomial Triangle United States Vampire Numbers Van Eck Sequence Zeckendorf Representation Zodiac Signs γ λ π τ φ √2 𝑒 Experimental Hole Alphabetic Numbers Apéry’s Constant Binary Lambda Calculus Connect Four Crossword CSS Colors (Inverse) CSS Grid Ellipse Perimeters Flags Floyd-Steinberg Dithering Gray Code Decoder Gray Code Encoder Hexagonal Spiral Highly Composite Numbers NFA Simulator Numbrix Odd Polyomino Tiling p-adic Expansion Polygon Triangulations QR Encoder Quadratic Formula Semiprime Numbers Smooth Numbers Snake Sphenic Numbers Taxicab Numbers Turtle Tutorial # Golfer Points Bytes Time Submitted 1st IanUtley 1,000 70 11ms 7 Nov 2025 1st annaproxy 1,000 70 10ms 2 Dec 2025 3rd GolfingSuccess 🇬🇷 946 74 14ms 15 Nov 2025 3rd Steffan153 🇫🇮 946 74 14ms 11 days ago 5th ovs-code 🇩🇪 921 76 15ms 3 Nov 2025 6th bitsandbeyond 🇳🇱 745 94 10ms 31 Dec 2025 7th scpchicken 🇵🇼 700 100 10ms 31 hours ago 8th madex 🇩🇪 686 102 10ms 4 hours ago 9th HumanoidCPU 654 107 10ms 29 Nov 2025 10th KatieLG 🇬🇧 648 108 10ms 30 Nov 2025 11th MeWhenI 🇻🇦 631 111 18ms 28 Nov 2025 12th dokutan 204 343 22ms 1 Dec 2025 13th Shanethegamer 🇺🇸 20 3,588 9ms 30 Oct 2025 13th CaedenHarper 🇨🇦 20 3,588 10ms 1 Dec 2025 13th msbranicky 20 3,588 9ms 4 Dec 2025 16th Jacob385 19 3,591 12ms 9 Jan 2026 17th KatieLG-Transpiler 🇬🇧 17 4,101 12ms 9 Jan 2026 1–17 of 17
IanUtley
annaproxy
GolfingSuccess
🇬🇷
Steffan153
🇫🇮
ovs-code
🇩🇪
bitsandbeyond
🇳🇱
scpchicken
🇵🇼
madex
🇩🇪
HumanoidCPU
KatieLG
🇬🇧
MeWhenI
🇻🇦
dokutan
Shanethegamer
🇺🇸
CaedenHarper
🇨🇦
msbranicky
Jacob385
KatieLG-Transpiler
🇬🇧