✅ Core patterns working (tail, linear, tree, mutual recursion)
✅ Multi-target compilation proven
⚠️ Early release - complex logic not fully tested yet
📈 v1.0 will expand pattern coverage
This is v0.1: the foundation works, refinement ahead!
✅ Core patterns working (tail, linear, tree, mutual recursion)
✅ Multi-target compilation proven
⚠️ Early release - complex logic not fully tested yet
📈 v1.0 will expand pattern coverage
This is v0.1: the foundation works, refinement ahead!
📦 GitHub: github.com/s243a/UnifyWeaver
📖 Docs: github.com/s243a/UnifyWeaver/blob/main/docs/EXTENDED_README.md
🎓 Tutorials: github.com/s243a/UnifyWeaver_Education
MIT/Apache licensed. Built with SWI-Prolog.
Issues & PRs welcome! 🚀
📦 GitHub: github.com/s243a/UnifyWeaver
📖 Docs: github.com/s243a/UnifyWeaver/blob/main/docs/EXTENDED_README.md
🎓 Tutorials: github.com/s243a/UnifyWeaver_Education
MIT/Apache licensed. Built with SWI-Prolog.
Issues & PRs welcome! 🚀
Auto-detects Windows/WSL/Linux/macOS/Docker
Platform-specific adaptations
Smart fallbacks when tools aren't available
One codebase, runs everywhere.
Auto-detects Windows/WSL/Linux/macOS/Docker
Platform-specific adaptations
Smart fallbacks when tools aren't available
One codebase, runs everywhere.
• Tail → iterative loops
• Linear → memoized (factorial, fibonacci)
• Tree → structural decomposition
• Mutual → SCC detection
All patterns detected and optimized automatically.
• Tail → iterative loops
• Linear → memoized (factorial, fibonacci)
• Tree → structural decomposition
• Mutual → SCC detection
All patterns detected and optimized automatically.
📊 CSV/TSV with auto-header detection
🐍 Python + SQLite integration
🌐 HTTP APIs with caching
📝 JSON with jq filters
⚙️ AWK text processing
Build real ETL pipelines with declarative security policies.
📊 CSV/TSV with auto-header detection
🐍 Python + SQLite integration
🌐 HTTP APIs with caching
📝 JSON with jq filters
⚙️ AWK text processing
Build real ETL pipelines with declarative security policies.
Write your logic once in Prolog, compile to:
• Bash streaming pipelines
• C# LINQ queries with runtime engine
• PowerShell (native or BaaS mode)
Same predicates, different execution contexts. Zero duplication.
Write your logic once in Prolog, compile to:
• Bash streaming pipelines
• C# LINQ queries with runtime engine
• PowerShell (native or BaaS mode)
Same predicates, different execution contexts. Zero duplication.