DB Mode (No Cache)

3004-recomendacao-prolog

recomendacao-prolog

B Difficulty

README.md Preview

# 3004 — Streamio: O Oráculo Lógico (Prolog)

## Descrição

Problema de **Programação Lógica** (Prolog) para o Juiz Online da plataforma Wokodex.

O aluno deve implementar um conjunto de predicados que compõem, progressivamente, um **Sistema de Recomendação Colaborativo de Filmes** — o mesmo sistema implementado em Java (OO) nos problemas 3001-3003, agora explorado através do paradigma lógico.

## Estrutura do Problema

| Nível | Conteúdo |
|-------|----------|
| D | Exemplo base — consultas simples de gênero e notas |
| C | Fase 1 — `filmes_por_genero/2`, `filmes_de_ano_superior/2`, `notas_do_usuario/2` |
| B | Fase 2 — `media_avaliacoes/2`, `usuario_hater/1`, `filmes_nao_avaliados/2` |
| A | Fase 3 — `vizinhos/2`, `recomenda/2` (sistema completo com regra de ódio) |

## Modelo de Avaliação

O juiz injeta a **base de fatos** (`dataset.pl`) com os predicados `filme/5`, `usuario/3` e `avaliacao/3`, carrega o arquivo do aluno e executa consultas Prolog, comparando a saída com o gabarito esperado.

### Aridade dos Fatos

```prolog
% filme(ID, Titulo, Genero, Diretor, Ano)
filme(1, 'Matrix', 'Ficcao', 'Wachowskis', 1999).

% usuario(ID, Nome, Idade)
usuario(1, 'Alice', 25).

% avaliacao(UsuarioID, FilmeID, Nota)
avaliacao(1, 1, 5).
```

> **Nota:** Os gêneros são strings simples (sem acentos, sem ponto-e-vírgula). Cada `filme/5` tem um único gênero.

## Relacionamento com o Trabalho

Este problema é a tradução do trabalho prático das **Fases 1+2+3** para Prolog.  
A lógica de negócio é idêntica à especificada em `descricao-problema.qmd` e em `implementacao-prolog.qmd`.

## Diretórios

```
3004-recomendacao-prolog/
├── metadata.yaml           ← Schema do Wokodex
├── README.md               ← Este arquivo
├── statements/             ← Enunciados por nível (A/B/C/D)
│   └── a-recomendacao-prolog/
├── solutions/              ← Solução de referência
│   └── a-optimal/solution.pl
└── test-cases/             ← Casos de teste por cenário
    ├── d-sample/
    ├── c-consultas-basicas/
    ├── b-agregacao/
    └── a-colaborativo/
```

Actions

Workflow do Problema

Local Workspace

Pasta criada no disco
Metadados

Informações básicas preenchidas
Validação

Soluções passam nos testes
4

Sincronização

Enviado para DB e GitLab

⚠️ Not in Database

This problem was not found in the database (ID: 3004).

Some features like test case sync are disabled.

Components

Statements ✅
Solutions 1 ✅
Test Cases 0 ✅

🚀 Quick Prompts

Structure Scaffolding

Generate metadata & folder structure

ID: 1.1

Context & Description

Draft description & editorial

ID: 1.2

Statements List

ID	Level	Natural Languages	Skills	Status	Action
a-recomendacao-prolog	A	a b c d	movies-series, wok	⚠️

Statement Details

Select a statement above to view details.

Actions

Statistics

1 Total Statements

By Type (ID)

a-recomendacao-prolog 1

By Level

Level A 1

🚀 Quick Prompts

Statement Analysis

Analyze ambiguity & clarity

ID: 2.1

WOK Statement Generation

Rewrite in WOK Universe theme

ID: 2.2

Statement Expansion

Expand to 4 difficulty levels

ID: 2.3

Testcase Scenarios Sync

YAML Source vs Database

Slug	Level	Name	Type	Skills	Status	Actions
`a-colaborativo`	A	Sistema Colaborativo Completo Testa o predicado recomenda/2 com a lógica de...	TDD	recommender-systems 2pts logic-programming 1pts	Not in DB	Details
`b-agregacao`	B	Predicados de Agregação Testa media_avaliacoes/2, usuario_hater/1 e...	TDD	logic-programming 2pts	Not in DB	Details
`c-consultas-basicas`	C	Consultas Básicas com findall Testa filmes_por_genero/2,...	TDD	prolog 1pts logic-programming 1pts	Not in DB	Details
`d-sample`	D	Exemplo do Enunciado Cenário básico do enunciado para validar o...	TDD	prolog 1pts	Not in DB	Details

Local Test Cases (Disk)

No Local Test Cases Found

Ensure the directory structure test-cases/testcase_group-name/*.in exists.

📊 Sync Statistics

Total (Disk) 0

Total (Database) 0

✓ Synchronized 0

⚠ Desynchronized 0

Duplicates (MD5)

Duplicates in (MD5) 0

Desync = (DB missing on Disk) + (Disk missing on DB)

Actions

📄 Enunciados

A 1

Idiomas: pt

💡 Soluções

prolog: 1

✅ 0 ❌ 0

🧪 Casos de Teste

4 Scen.

Total no Disco 0

Total no Banco 0

Sincronização 0%

Metadata (form)

Version

Name

Slug

ID Beecrowd

Difficulty

Time Complexity

Space Complexity

Time Limit (s)

Memory Limit (MB)

Origin

Author (Problem)

Author (Editorial)

Default Statement

Topics

Skills

Description

Editorial

Success message

metadata.yaml

# yaml-language-server: $schema=https://api.mundodocodigo.com.br/api/public/json/wok-problem.json --- version: '1.0' id: 3004 name: 'Streamio: O Oráculo Lógico' origin: wok slug: recomendacao-prolog authorSlugEditorial: alessio authorSlugProblem: alessio description: Implemente um Sistema de Recomendação de Filmes utilizando o paradigma de Programação Lógica (Prolog). Os predicados são avaliados diretamente pelo juiz, que injeta a base de fatos e verifica as respostas das consultas. editorial: A solução utiliza findall/3 para coletar resultados, aritmética Prolog (sum_list, length, is) para agregações e negação por falha (\+) para implementar exclusões. O sistema colaborativo emerge naturalmente das regras lógicas encadeadas. successmsg: Excelente! Seu Oráculo Lógico deduziu as recomendações perfeitas! difficultyLevelId: B timeComplexity: O(N²) spaceComplexity: O(N) timeLimitSegs: 2 memoryLimitMb: 128 defaultStatement: a_pt_recomendacao-prolog skills: - logic-programming - prolog - recommender-systems - functional-programming statements: - id: a-recomendacao-prolog default: true testScenarioLevel: A thematicSkills: - points: 1 skill: movies-series - points: 1 skill: wok testScenarios: - id: a-colaborativo name: Sistema Colaborativo Completo description: Testa o predicado recomenda/2 com a lógica de vizinhança, candidatos e regra de ódio completa. helpTip: Encadeie vizinho/2, gostou/2 e odeia_diretor/2 corretamente na definição de recomenda/2. level: A testType: TDD skills: - points: 2 skill: recommender-systems - points: 1 skill: logic-programming - id: b-agregacao name: Predicados de Agregação description: Testa media_avaliacoes/2, usuario_hater/1 e filmes_nao_avaliados/2. helpTip: Use sum_list/2 e length/2 para aritmética. Use \+ para negação por falha em filmes_nao_avaliados. level: B testType: TDD skills: - points: 2 skill: logic-programming - id: c-consultas-basicas name: Consultas Básicas com findall description: Testa filmes_por_genero/2, filmes_de_ano_superior/2 e notas_do_usuario/2. helpTip: Use findall/3 para coletar todos os resultados que satisfazem um padrão. level: C testType: TDD skills: - points: 1 skill: prolog - points: 1 skill: logic-programming - id: d-sample name: Exemplo do Enunciado description: Cenário básico do enunciado para validar o fluxo principal de consulta. helpTip: Certifique-se de que o dataset.pl está sendo carregado corretamente e que os fatos têm a aridade correta. level: D testType: TDD skills: - points: 1 skill: prolog solutions: - id: a-optimal name: Implementação Principal (Prolog) description: Solução utilizando findall, negação por falha e aritmética Prolog. level: A implementations: - filenames: - solution.pl language: prolog paradigm: Logic

3004-recomendacao-prolog

README.md Preview

Actions

Workflow do Problema

Local Workspace

Metadados

Validação

Sincronização

⚠️ Not in Database

Components

🚀 Quick Prompts

Statements List

Statement Details

Actions

Statistics

By Type (ID)

By Level

🚀 Quick Prompts

📊 Sync Statistics

Actions

Test Case Details

Testcase Scenarios Sync

Local Test Cases (Disk)

No Local Test Cases Found

📊 Sync Statistics

Actions

Implementação Principal (Prolog)

Implementations

✅ Verification

🚀 Quick Prompts

📄 Enunciados

💡 Soluções

🧪 Casos de Teste

Metadata (form)

Git Status

⚠️ Detached HEAD / No Branch

Git Workflow

Problem Analysis Report

🛠️ Validation Tools

ℹ️ Not Fixed in API Platform

❌ Not found in Database

Actions

📋 Processo de Criação

Select a Prompt

📤 API Synchronization

📄 Recreating README.md...

💻 Git Action Output

Running Verification...

Ajuda

📄 Sync Statements to DB

🚀 Batch Auto-Link Process

⬇️ Repo Sync Output

📝 Update Manifest Output

Ajuda