migafgarcia / prolog-checkersLinks
A Player vs AI game of checkers implemented in Prolog
☆10Updated 4 years ago
Alternatives and similar repositories for prolog-checkers
Users that are interested in prolog-checkers are comparing it to the libraries listed below
Sorting:
- A library for visualizing graphs in Prolog.☆17Updated 10 months ago
- Pengines: Prolog engines☆12Updated 3 weeks ago
- Operations with matrices, SWI pack☆13Updated last year
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆14Updated last week
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆20Updated 5 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- C parser writen in Python☆14Updated 4 months ago
- clp(fd) tutorial☆20Updated last year
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Updated 3 weeks ago
- Winning entry for the 2017 and 2018 AIBIRDS level generation competitions☆8Updated 5 years ago
- Expert system with deductive querying and verification of constraints expressed in natural language☆21Updated last month
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆15Updated last month
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- Chatbot impls in Prolog☆15Updated 3 years ago
- Startle C Library☆18Updated 6 years ago
- The SWI-Prolog Unit Testing library☆9Updated 3 weeks ago
- Tartarus is a multi-agent emulator for Static as well as Mobile Agents.☆18Updated 2 years ago
- Hard Real-Time world-wide clock synchronization utilizing new better algorithms than PTP and NTP uses.☆13Updated 9 years ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Docker images for SWI-Prolog☆16Updated 3 weeks ago
- Cellular automata search program☆26Updated 3 years ago
- SubC Compiler : By Nils M Holm, 2011--2012☆16Updated 12 years ago
- parser combinator and AST generator in c++17☆24Updated 2 years ago
- A virtual ternary OISC machine (One Instruction Set Computer) inspired by 1950s Soviet hardware☆9Updated 4 years ago
- C++ genetic algorithms scientific library☆13Updated last year
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Updated 7 years ago
- Write TAP tests with SWI-Prolog☆12Updated 2 years ago
- The General-Purpose Cross-Language Dataflow Programming☆27Updated 6 years ago
- Read/write python numpy array NPY/NPZ files☆10Updated 5 years ago