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

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

install

source · Clone the upstream repo

git clone https://github.com/ECNU-ICALK/AutoSkill

Claude Code · Install into ~/.claude/skills/

T=$(mktemp -d) && git clone --depth=1 https://github.com/ECNU-ICALK/AutoSkill "$T" && mkdir -p ~/.claude/skills && cp -r "$T/SkillBank/ConvSkill/english_gpt4_8_GLM4.7/реализация-предикатов-родства-в-visual-prolog" ~/.claude/skills/ecnu-icalk-autoskill-visual-prolog && rm -rf "$T"

manifest:

SkillBank/ConvSkill/english_gpt4_8_GLM4.7/реализация-предикатов-родства-в-visual-prolog/SKILL.md

source content

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

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

Базовые факты: Используй предикаты
```
parent(string, string)
```
и
```
man(string)
```
.
Отношение grand_nephew(X, Y):
- X является внучатым племянником для Y.
- Определение: X — внук сестры или брата Y.
- X должен быть мужчиной (
```
man(X)
```
  ).
Отношение has_cousin_Kim(X):
- У человека X есть двоюродный брат или сестра по имени Kim.
- Kim должен быть мужчиной.
Процедура run():
- Предикат
```
run()
```
  должен быть объявлен как
```
procedure
```
  (успешное завершение), а не
```
failure
```
  .
- Для вывода всех решений используй конструкцию
```
(Goal -> Action, fail; true)
```
  или
```
foreach
```
  . Избегай ошибок, когда код после
```
fail
```
  становится недостижимым.
Синтаксис:
- Избегай лишних запятых в вызовах
```
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 родственные связи