Пролог позволява да се моделират логически схеми, акто се използват таблици за истинността и разгледаните закони на предикатната логика. Предикатите показават отношенията между сигналите на входа и изхода на схемата.

Използват се не само външни, но и вътрешни връзки. За да разбереме как работи да разгледаме пример за конструиране на exclusive OR (изключващо ИЛИ) от елементи AND (И), OR(ИЛИ), NOT(НЕ) и след това да проверим работата му с програма.

Схемата на чипа изглежда така:

Програмата на VISUAL PROLOG има следния вид:

domains

d = integer

predicates

not_(D,D)

and_(D,D,D)

or_(D,D,D)

xor_(D,D,D)

clauses

not_(1,0).

not_(0,1).

and_(0,0,0).

and_(0,1,0).

and_(1,0,0).

and_(1,1,1).

or_(0,0,0).

or_(0,1,1).

or_(1,0,1).

or_(1,1,1).