Fully in-browser IDE and rule engine for L4 (a DSL for the law), along with various language binding libraries
-
Updated
Jun 1, 2024 - Clojure
Fully in-browser IDE and rule engine for L4 (a DSL for the law), along with various language binding libraries
A Prolog Interpreter written in Prolog.
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
Prolog examples
A collection of etudes for folks new to Prolog (and sometimes experienced ones) to learn the language in a practical fashion.
Parser for Attempto Controlled English (ACE)
Second homework to the subject IZU
Prolog predicates to model functions, relations and binary operations.
An file system traversing utility. Backtracks in the directory structure.
A Prolog program that helps customers who are in solidarity with Gaza by providing alternatives to boycotting companies for their involvement in Israel's oppression of Palestinians.
Solver/Generator for Futoshiki puzzles
SWI-Prolog plugin for the asdf version manager
Exercises from "Prolog Programming for Artificial Intelligence" (4e) - Ivan Bratko
Combination Algorithm Writer with Predicates
Writes algorithms with multiple predicates
Some swi prolog files
A wrapper built on top of the official SWI-Prolog Python interface to iteract with prolog through python using a functional programming paradigm. This wrapper is specifically designed to facilitate programmers with no prior knowledge of logic programming to interact with Prolog
Add a description, image, and links to the swi-prolog topic page so that developers can more easily learn about it.
To associate your repository with the swi-prolog topic, visit your repo's landing page and select "manage topics."