CLIPS utils, &later pvm code
☆18Dec 29, 2018Updated 7 years ago
Alternatives and similar repositories for CLIPSmsc
Users that are interested in CLIPSmsc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lisp-based OWL Full Processor on top of Common Lisp Object System (CLOS), See http://www-kasm.nii.ac.jp/~koide/SWCLOS2-en.htm☆20Mar 23, 2019Updated 7 years ago
- Unofficial Copy of the PowerLoom Knowledge Representation System☆11Mar 20, 2012Updated 14 years ago
- Jürgen Walther's AI Workbench for Common Lisp, restored from the CMU AI Repository☆14Nov 4, 2023Updated 2 years ago
- Common Lisp RDF/XML parser☆18Jul 10, 2014Updated 12 years ago
- Example code for using SPARQL and 4store RDF databases from Common Lisp (in this case Steel Bank Common Lisp, but most others should work…☆14Apr 23, 2011Updated 15 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Prototype object system for Common Lisp and more. KR: Constraint-Based Knowledge Representation☆15Nov 20, 2024Updated last year
- A Common Lisp Framework for the Semantic Web☆24Oct 17, 2026Updated 2 weeks ago
- An Editor with Generic Semantics for Formal Reasoning About Visual Notations☆22Oct 17, 2026Updated 2 weeks ago
- Prolog Technology Theorem Prover☆14Jun 19, 2024Updated 2 years ago
- ops5 production rule system (lisp)☆12Jun 29, 2013Updated 13 years ago
- OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data☆32Oct 6, 2026Updated 3 weeks ago
- SNARK - SRI's New Automated Reasoning Kit☆19Feb 24, 2025Updated last year
- A fork of http://lisa.sourceforge.net/ , a Common Lisp production-rule system.☆18Mar 27, 2008Updated 18 years ago
- KaBOB (Knowledge Base Of Biomedicine)☆12Nov 13, 2018Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Examples from the Lisp version of my semantic web book☆39Oct 13, 2025Updated last year
- Statistical functions in Common Lisp☆15Dec 7, 2011Updated 14 years ago
- CFFI Common Lisp bindings for Redland RDF Library☆20Oct 12, 2009Updated 17 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆19Apr 17, 2023Updated 3 years ago
- Port of Cyc to Common Lisp☆27May 11, 2026Updated 5 months ago
- NLP for Common Lisp☆22Apr 5, 2011Updated 15 years ago
- Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆117Dec 8, 2018Updated 7 years ago
- Logtalk 2.x development version☆14Sep 20, 2012Updated 14 years ago
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A deliberative software agent using Perl/Prolog/Emacs able to plan and execute language functions, programs and shell commands☆12May 17, 2019Updated 7 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 13 years ago
- Incremental Engine for Standing SPARQL☆14Oct 23, 2016Updated 10 years ago
- A basic lisp interpreter written in prolog☆10Nov 18, 2009Updated 16 years ago
- A reimplementation of Uninvited in Inform☆12Jul 27, 2016Updated 10 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 5 years ago
- The semantic and ground lab and environment maps for projects in the IAI group in the University of Bremen☆12Oct 22, 2026Updated last week
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated last year
- Common Interface to ISO Prolog implementations from Common Lisp☆39Nov 21, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Files related to the muLISP programming language☆13Jul 7, 2026Updated 3 months ago
- Drupal profile running FindFind.it (previously: Serchilo)☆12Mar 1, 2024Updated 2 years ago
- DCG utility predicates for Prolog☆10Jan 3, 2015Updated 11 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆12Mar 24, 2019Updated 7 years ago
- SQL Mapping Framework for Common Lisp☆10Feb 7, 2026Updated 8 months ago
- Dockerfile language service for providing an API to create feature-rich Dockerfile editors in JavaScript.☆19Feb 7, 2026Updated 8 months ago
- A Rational Defense of Reasonable Reflection (LICS'26 Keynote)☆10Jul 21, 2026Updated 3 months ago