SWI-Prolog
Logika programowania w bezpiecznym środowisku — Prolog dla AI i edukacji
Instalacja
Wklej poniższy fragment do konfiguracji wybranego klienta.
Instalacja
Szybkie info
- Kategoria
- AI i uczenie maszynowe
- Transport
- STDIO
- Licencja
- BSD-3-Clause
- Gwiazdki GitHub
- 8
- Wyświetlenia
- 263
Kompatybilne z
- Claude Code
- Claude Desktop
- codex
- Cursor
- gemini-cli
- VS Code
- Windsurf
Znalezione w: mcp.directory
Co potrafi
- Wczytuj i zarządzaj plikami Prolog
- Dodawaj i usuwaj fakty oraz reguły dynamicznie
- Wykonuj zapytania Prolog ze stronicowaniem
- Uruchamiaj zapytania z pełnym backtrackingiem
- Wyświetlaj symbole i predykaty Prolog
- Wykonuj operacje matematyczne w Prolog
Dla kogo
- Kursy logiki programowania w edukacji
- Rozwiązywanie logicznych puzzle'i i ograniczeń
- Tworzenie przepływów rozumowania AI
- Interaktywny rozwój w Prolog
Wyróżnia się
- Piaskownica zabezpieczająca kod
- Dwa tryby zapytań do wyboru
- Uruchomienie bez konfiguracji przez npx
O serwerze
Dostęp do SWI-Prolog przez MCP server z dwoma trybami zapytań i piaskownicą. Zarządzaj bazą wiedzy dynamicznie, wykonuj zapytania z backtrackingiem, rozwiązuj logiczne puzzle i buduj przepływy rozumowania AI. Bezpieczne wykonanie kodu, zero konfiguracji — uruchom przez npx i zacznij pracować natychmiast.
Podobne serwery
Context Portal
autor: greatscottymac
762Claude CodeClaude Desktopcodex
TypeScript Refactoring
autor: mizchi
447Claude CodeClaude Desktopcodex
Oficjalny
Arize Phoenix
autor: arize-ai
9,459Claude CodeClaude Desktopcodex
Unity
autor: ivanmurzak
2,393Claude DesktopCursorVS Code
Createve.AI Nexus
autor: spgoodman
80,527Claude CodeClaude Desktopcodex
Penpot
autor: montevive
228Claude CodeClaude Desktopcodex