Community
Do you have a project, video or publication that uses/mentions PySwip?file an issue or send a pull request.
If you would like to reference PySwip in a LaTeX document, you can use the provided BibTeX file.
Help!
Companies Using PySwip
- Magazino GmbH Magazino develops and builds intelligent, mobile robots for intralogistics.
Books
Beginning Artificial Intelligence with the Raspberry Pi
Publications
2026
2025
- On Bridging Prolog and Python to Enhance an Inductive Logic Programming System
- Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York
- Towards Safe Autonomous Driving Policies Using a Neuro-Symbolic Deep Reinforcement Learning Approach (PDF) (Code)
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs (PDF) (Code)
- ViLLa: A Neuro-Symbolic approach for Animal Monitoring
- From Reasoning to Code: GRPO Optimization for Underrepresented Languages
- Integrating expert knowledge with machine learning for AI-based stroke identifications and treatment systems
2024
- Development of a Prototype of a Medical Application Using a Type-2 Fuzzy Inference System
- Faithful Logical Reasoning via Symbolic Chain-of-Thought (PDF) (Code)
- Ambiguity-Aware Abductive Learning (PDF) (Code)
- Interactive Evolution: A Neural-Symbolic Self-Training Framework For Large Language Models (PDF) (Code)
- Development of a Prototype of a Medical Application Using a Type-2 Fuzzy Inference System
- Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models (Code)
2023
- Learning Where and When to Reason in Neuro-Symbolic Inference (PDF)
- MMDect: Metamorphic Malware Detection Using Logic Programming (PDF)
- Continuous QoS-compliant orchestration in the Cloud-Edge continuum (PDF) (Code)
- Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning (PDF) (Code)
- Learning MDL Logic Programs From Noisy Data (PDF) (Code)
- Few-Shot Learning for Plant Disease Classification Using ILP
- Learning programs with magic values (PDF) (Code)
2022
- ProPy: Prolog-based Fault Localization Tool for Python
- Building a Fuzzy Expert System for Assessing the Severity of Pneumonia
- Towards a Competitive 3-Player Mahjong AI using Deep Reinforcement Learning (PDF) (Code)
- Building a Fuzzy Expert System for Assessing the Severity of Pneumonia
2021
- Deep Reinforcement Learning for Mahjong (PDF)
- Neural probabilistic logic programming in DeepProbLog (Code)
- Span-based Semantic Parsing for Compositional Generalization (PDF) (Code)
- Ordering Subgoals in a Backward Chaining Prover
2020
- Fact-Based Expert System for Supplier Selection with ERP Data
- Interactive Text Graph Mining with a Prolog-based Dialog Engine
- Information Retrieval Based on Knowledge-Enhanced Word Embedding Through Dialog: A Case Study
- Prolog Technology Reinforcement Learning Prover(Code)
2019
- The Detection Of Conflicts In The Requirements Specification Based On An Ontological Model And A Production Rule System
- Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval (PDF)
2018
- Semi-automatically Augmenting Attack Trees using an Annotated Attack Tree Library
- DeepProbLog: Neural Probabilistic Logic Programming
2017
- Assessment of Graph Databases as a Viable Materiel Solution for the Army's Dynamic Force Structure (DFS) Portal Implementation: Part 3, Risks, Mitigation Approach, and Roadmap
- Integration von Prolog und ClioPatria in Python (PDF, German)
- Implementation on ADHD Diagnostic Expert System based on DSM Diagnostic Criteria (Korean)
- Wie sehen Krebsmolekule aus? Vergleich der Gute der Klassifizierung potenziell krebserregender Molekule durch induktiv logische und merkmalsbasierte Lernverfahren (PDF, German)
2016
- Tackling Complexity in High Performance Computing Applications
- Social Human-Robot Interaction: A New Cognitive and Affective Interaction-Oriented Architecture
- A Concept for Declarative Information Acquisition in Smart Environments (PDF)
2015
- SELECTSCRIPT: A Query Language for Robotic World Models and Simulations
- Companion Robots Behaving with Style: Towards Plasticity in Social Human-Robot Interaction (PDF)
- A Learning Framework for Tool Creation by a Robot (PDF)
2014
2013
2010
Blog Posts
2026
2025
- Implementing Prolog in Python Using VS Code and Google Colab
- A Coding Guide to Build a Tool-Calling ReAct Agent Fusing Prolog Logic with Gemini and LangGraph
- Neurosymbolic AI for Data Industry: End-to-End Guide for Domain-Based Models (Linkedin)
- Getting Prolog running inside Python
2024
- Playing with Prolog – Prolog’s Role in the LLM Era, Part 3
- Prolog and ML Models – Prolog’s Role in the LLM Era, Part 4
- Neural-Symbolic Computing: Bridging Logic and Learning — A Practical Guide
2021
2019
2018
2013
Other Documents
Projects
- "Natural" Natural Deduction
- Akinator - The Mind-Reading AI
- An Implementation of MeTTa designed to run on the Warren Abstract Machine (WAM)
- An expert system for recommending restaurants in Buenos Aires using Prolog and PySwip
- Artificial Intelligence INF1771 @ PUC-Rio Projects for the Artificial Intelligence class @ PUC-Rio
- AutomobileAdvisor Projekt na systemy ekspertowe pomagający wybrać odpowiedni samochód dla danego klienta na podstawie preferencji (Polish)
- Blocks World Planner A program that allows users to solve the blocks world problem interacting only using the natural language.
- ClIDE Command-line Intelligent Development Environment
- Cosmos A new logic programming language.
- DeepRank The system uses dependency links for building Text Graphs, that with help of a centrality algorithm like PageRank, extract relevant keyphrases, summaries and relations from text documents.
- DeepTalk A Python+Prolog based Dialog Engine using the Python package text_graph_crafts that extracts the highest ranked sentences answering a query.
- Diagnosis of diseases based on symptoms
- Expert System in Prolog for Cardiovascular Disease Diagnosis (Linkedin)
- Family-bot: A chatbot programmed using pyswip and prolog
- FlorenceBot: A fully interactive domain-specific chatbot implemented using Prolog and PySwip
- Food Recommendations in Hyderabad, India Food Recommendation AI Expert System using a GUI hosted on Flask and a backend developed with PYSWIP and native Prolog.
- Jupyter SWI Prolog A Jupyter Kernel for SWI-Prolog.
- Knowledge Based QA System with Python and Prolog Simple ChatBot
- LLM Prolog Code Interpreter Tool
- Logical ChatGPT logic engine using Prolog
- LuckyMera: a Modular AI Framework for Building Hybrid NetHack Agents
- MIDSI Project Solution for data discovery in projects applicable to the Semantic Web, enabling the loading of ontologies and inference of results using the WSML language.
- Mosquitoes-Simulation
- NAAV Language
- Neurosymbolic AI for Data Industry: End-to-End Guide for Domain-Based Models (Linkedin)
- PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
- Pokemon Weak Detector
- Popper An inductive logic programming system
- Prolog Tetris AI
- Prolog Tic-tac-toe A full-stack tic-tac-toe game with AI in Prolog, backend in Python3 (+Flask) and frontend in Vue.js 3.
- Prolog natural language parsing component to control a Scribbler II robot over bluetooth
- Prolog-Driven Rule-Based Diagnostics with Large Language Models for Precise Clinical Decision Support
- Propositional Logic/First Order Logic AI Agent in Wumpus world
- Restaurant Recommendation System
- Super Pacman
- TBM1 - "Getting to Know My Home"
- Tilde Top-down induction of first-order logical decision trees
- Trabajo Final Ingeniería para Sistemas de Información (Spanish)
- lib-annotated-attack-trees Scripts and resources for creating a library of annotated attack trees and using it to refine an annotated attack tree.
- norms-games Integration of normative systems and game theory
- noworkflow Supporting infrastructure to run scientific experiments without a scientific workflow management system. http://gems-uff.github.io/noworkflow
- pyswip_envctrl An environment control module expert system written in PySwip.
- tic-tac-toe Tic-tac-toe game with AI in Prolog and GUI in Python (kivy framework + pyswip).
- NewGame+ A game recommendation system that suggests video games based on titles you've previously played.
Videos
AI - Blocks world solver interactive planner
Les robots deviennent (vraiment) intelligents ! (NAO discute avec Kylo Ren) (French)
Connect Python and Prolog | Using Pyswip Module | Using Prolog as Backend
How to connect Prolog and Python Using Pyswip Module
Praktikum Sistem Pakar 01 - Pengenalan Prolog, SWI-Prolog, PySwip (Indonesian)
Curso Básico de Prolog: 4 - Interconectando Python con Prolog a través de PySwip (Spanish)
Tubes EAS Matdis: Inferensi Knowledge Base menggunakan FOL, PySwip, Streamlit (supermarket together) (Malay)