Similar to Prolog

Constraint Handling Rules

KL1

Parlog

Program Composition Notation

Strand (programming language)

Anti-unification

Unification (computer science)

Casio BASIC

ALGOL

BASIC

BLISS

Chapel (programming language)

CLIPS

Common Lisp

C++

Oz (programming language)

Planner (programming language)

Successor function

Sequential logic

Linear logic

Intuitionistic type theory

Logic family