Клас має бути відкритий для розширення, але закритий для модифікації

Клас повинен використовувати лише відкриті методи

Клас не повинен бути доступним для наслідування

Клас має бути закритий для нових об'єктів

Клас має бути відкритий для всіх змін

Ім’я має бути оточене лапками

Ім’я має бути зарезервованим словом

Ім’я змінної має бути числом

Ім’я має починатися з $

Ім’я має починатися з великої літери або підкреслення

Наслідування

Cетер

Поліморфізм

Гетер

Інкапсуляція

Кінець правила

"Якщо" — використовується для визначення правила

Кон'юнкцію

Початок коментаря

Диз'юнкцію

Кінець правила

"Якщо" — використовується для визначення правила

Кон'юнкцію

Початок коментаря

Диз'юнкцію

Програміст описує що потрібно зробити, а не як

Програміст описує послідовність команд, які змінюють стан програми

Програміст описує послідовність команд, які не змінюють стан програми

Програміст описує що не потрібно зробити, а як

Програміст не описує послідовність команд, а не декларує їх

SRP

ISP

LSP

DIP

OCP

до імперативної

до конструктивної

до метафізичної

до декларативної

до когнітивної

father(john, mary) :- true.

X = father(john, mary).

?- father(john, mary).

father(john, mary).

father(X, Y) :- parent(X, Y), male(X).

Написати run(fact).

Записати execute fact.

Використати call(fact) у Python

Ввести ?- fact. у консолі

Натиснути кнопку "Execute"