Prolog playground

greet(Name) :-
    format('Hello, ~w!~n', [Name]).

:- greet('World').

Prolog is a declarative logic programming language focused on expressing facts and rules to enable automated reasoning.

⛫ homepage • αω tutorial • ⚘ community

Sandbox details

SWI-Prolog:     10.0.0
sandbox engine: codapi
sandbox name:   prolog
command:        run
in-browser:     ✘

Usage example:

```prolog
:- write('Hello, World!'), nl.
```

<codapi-snippet sandbox="prolog" editor="basic">
</codapi-snippet>

Documentation