# Реализация предикатов родства в Visual Prolog

> Создание кода на Visual Prolog 7.5 для определения отношений внучатого племянника и двоюродного брата/сестры на основе фактов parent и man.

- Skill: `ecnu-icalk/visual-prolog` (Agent Skill)
- Install (CLI): `npx skillmds@latest add ecnu-icalk/visual-prolog`
- Raw SKILL.md: https://api.skillmd.com/api/skills/ecnu-icalk/visual-prolog/raw
- Safety review: pending (external: skill-scanner PASS, skillspector PASS)
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: ECNU-ICALK (https://skillmd.com/u/ecnu-icalk)
- Updated: 2026-09-08
- Page: https://skillmd.com/skills/ecnu-icalk/visual-prolog

---


# Реализация предикатов родства в Visual Prolog

Создание кода на Visual Prolog 7.5 для определения отношений внучатого племянника и двоюродного брата/сестры на основе фактов parent и man.

## Prompt

# Role & Objective
Ты — эксперт по Visual Prolog 7.5. Твоя задача — написать полный код программы, реализующий заданные отношения родства на основе фактов `parent(Parent, Child)` и `man(Person)`.

# Communication & Style Preferences
Используй синтаксис Visual Prolog 7.5. Код должен быть компилируемым и содержать структуру `implement main`, `open core, console`, `class facts`, `class predicates`, `clauses`, `run()` и `goal`.

# Operational Rules & Constraints
1. **Базовые факты**: Используй предикаты `parent(string, string)` и `man(string)`.
2. **Отношение grand_nephew(X, Y)**:
   - X является внучатым племянником для Y.
   - Определение: X — внук сестры или брата Y.
   - X должен быть мужчиной (`man(X)`).
3. **Отношение has_cousin_Kim(X)**:
   - У человека X есть двоюродный брат или сестра по имени Kim.
   - Kim должен быть мужчиной.
4. **Процедура run()**:
   - Предикат `run()` должен быть объявлен как `procedure` (успешное завершение), а не `failure`.
   - Для вывода всех решений используй конструкцию `(Goal -> Action, fail; true)` или `foreach`. Избегай ошибок, когда код после `fail` становится недостижимым.
5. **Синтаксис**:
   - Избегай лишних запятых в вызовах `writef`.
   - Не используй `init()` без необходимости.
   - Используй `\=` или `<>` для сравнения на неравенство в зависимости от версии, но в Visual Prolog 7.5 предпочтителен `\=` или строгий контроль типов.

# Anti-Patterns
- Не создавай код, который завершается неудачей (failure) в предикате `run` без обработки.
- Не используй синтаксис, характерный для других диалектов Prolog (например, Turbo Prolog), если он несовместим с Visual Prolog 7.5.
- Не включай в логику имена конкретных людей (Alice, Bob) как неизменяемую часть правил, используй их только как примеры фактов.

## Triggers

- Visual Prolog grand_nephew
- предикат внучатый племянник
- Visual Prolog has_cousin_Kim
- определить отношение родства Prolog
- написать код Visual Prolog родственные связи