Kata Library: Prolog Practice
Sign Up
Time to claim your honor
Training
Practice
Complete challenging
Kata
to earn honor and ranks. Re-train to hone technique
Freestyle Sparring
Take turns remixing and refactoring others code through
Kumite
Community
Leaderboards
Achieve honor and move up the global leaderboards
Chat
Join our
Discord
server and chat with your fellow code warriors
Discussions
View our
Github Discussions
board to discuss general Codewars topics
About
Docs
Learn about all of the different aspects of Codewars
Blog
Read the latest news from Codewars and the community
Log In
Sign Up
Library
Collections
Newest
Oldest
Popularity
Positive Feedback
Most Completed
Least Completed
Hardest
Easiest
Name
Relevance
Low Satisfaction
All
My Languages
Agda (Beta)
BF (Beta)
C
CFML (Beta)
Clojure
COBOL (Beta)
CoffeeScript
CommonLisp (Beta)
Coq
C++
Crystal
C#
D (Beta)
Dart
Elixir
Elm (Beta)
Erlang (Beta)
Factor (Beta)
Forth (Beta)
Fortran (Beta)
F#
Go
Groovy
Haskell
Haxe (Beta)
Idris (Beta)
Java
JavaScript
Julia (Beta)
Kotlin
λ Calculus (Beta)
Lean
Lua
NASM
Nim (Beta)
Objective-C (Beta)
OCaml (Beta)
Pascal (Beta)
Perl (Beta)
PHP
PowerShell (Beta)
Prolog (Beta)
PureScript (Beta)
Python
R (Beta)
Racket
Raku (Beta)
Reason (Beta)
RISC-V (Beta)
Ruby
Rust
Scala
Shell
Solidity (Beta)
SQL
Swift
TypeScript
VB (Beta)
Approved & Beta
Approved
Beta
All
Kata I have not trained on
Kata I have not completed
Kata I have completed
8 kyu
easiest
7 kyu
6 kyu
5 kyu
4 kyu
3 kyu
2 kyu
1 kyu
hardest
Algebra
1
Algorithms
110
Arrays
23
Artificial Intelligence
1
Binary
1
Bits
2
Combinatorics
1
Cryptography
2
Data Structures
2
Date Time
1
Filtering
2
Fundamentals
28
Game Solvers
1
Games
1
Interpreters
1
Lists
5
Logic
2
Mathematics
33
Matrix
2
Networks
1
Number Theory
1
Object-oriented Programming
1
Parsing
3
Performance
2
Puzzles
3
Recursion
2
Regular Expressions
3
Security
1
Sorting
4
State Machines
2
Strings
18
FEATURED TAGS
Cryptography
Data Science
Debugging
Games
Tutorials
110 Kata Found
8 kyu
Find numbers which are divisible by given number
44,578
XxxX88
1 Issue Reported
Arrays
Algorithms
8 kyu
What is between?
75,675
sgwozdz
Fundamentals
Algorithms
8 kyu
Count the Monkeys!
73,834
PG1
1 Issue Reported
Arrays
Fundamentals
Lists
Algorithms
6 kyu
Financing Plan on Planet XY140Z-n
4,932
g964
3 Issues Reported
Mathematics
Algorithms
6 kyu
Playing with passphrases
12,040
g964
4 Issues Reported
Strings
Algorithms
5 kyu
Weight for weight
57,258
g964
2 Issues Reported
Algorithms
6 kyu
Hidden "Cubic" numbers
3,256
g964
3 Issues Reported
Algorithms
Strings
6 kyu
Bit Counting
256,099
xcthulhu
1 Issue Reported
Bits
Algorithms
2 kyu
Symbolic differentiation of prefix expressions
1,243
user4850992
9 Issues Reported
Algorithms
6 kyu
Build a pile of Cubes
89,741
g964
2 Issues Reported
Mathematics
Algorithms
4 kyu
A Simplistic TCP Finite State Machine (FSM)
7,497
oldccoder
3 Issues Reported
State Machines
Algorithms
5 kyu
Mean Square Error
22,728
kylehill
Arrays
Mathematics
Algorithms
6 kyu
Mutual Recursion
8,783
dnolan
1 Issue Reported
Mathematics
Algorithms
Recursion
6 kyu
Split Strings
168,741
jhoffner
Regular Expressions
Strings
Algorithms
6 kyu
Sum of Digits / Digital Root
290,830
user578387
3 Issues Reported
Mathematics
Algorithms
7 kyu
Lojban Numbers
748
alexlostorto
Strings
Algorithms
Parsing
7 kyu
The Poet And The Pendulum
4,842
MrZizoScream
4 Issues Reported
Fundamentals
Arrays
Algorithms
Performance
5 kyu
k-Primes
3,130
g964
3 Issues Reported
Number Theory
Mathematics
Algorithms
4 kyu
Twice linear
24,453
g964
Mathematics
Algorithms
6 kyu
Tortoise racing
32,653
g964
Fundamentals
Mathematics
Algorithms
4 kyu
Sum by Factors
20,180
g964
3 Issues Reported
Arrays
Algorithms
Mathematics
5 kyu
Perimeter of squares in a rectangle
43,816
g964
3 Issues Reported
Mathematics
Algorithms
7 kyu
Parts of a list
17,980
g964
1 Issue Reported
Arrays
Lists
Data Structures
Algorithms
6 kyu
Moves in squared strings (IV)
1,619
g964
1 Issue Reported
Algorithms
Strings
6 kyu
Modulus 11 - Check Digit
878
bmw318mt
Algorithms
5 kyu
Integers: Recreation One
27,335
g964
1 Issue Reported
Fundamentals
Algorithms
4 kyu
Getting along with Integer Partitions
3,663
g964
3 Issues Reported
Fundamentals
Algorithms
5 kyu
Euler's method for a first-order ODE
863
g964
Algorithms
5 kyu
Decimal to Factorial and Back
4,480
g964
3 Issues Reported
Algorithms
6 kyu
Bouncing Balls
94,281
g964
1 Issue Reported
Puzzles
Algorithms
Mathematics
Loading...
Confirm
Collect:
undefined
Loading collection data...