?- How many Prolog programmers does it take to screw in a lightbulb?
no

Development

Prolog allows the programmer to define pure black box programs using a consistent, simple grammar.

System Operators

-->
:-
?-
;
|
->
*->
,
:=
\+
<
=
=..
=@=
\=@=
=:=
=<
==
=\=
>
>=
@<
@=<
@>
@>=
\=
\==
>:<
:<
:
+
-
/\
\/
?
*
/
//
<<
>>
**
^
+
-
\
.
$
!
(
)
_
[
]

Built-in Predicates

dynamic
discontiguous
initialization
meta_predicate
module_transparent
multifile
public
thread_local
thread_initialization
volatile
as
is
xor
mod
rem
div
rdiv
max
min
truncate
floor
round
ceil
sqrt
cos
tan
asin
acos
atan
atan2
sinh
asinh
acosh
atanh
log
log10
exp
pi
e
write
writeq
read
open
between
assert
asserta
retract
retractall
length
member
reverse
append
name
nth0
nth1
atom_length
consult
nl

Interpreter Control

halt
listing
trace
notrace
;
a