jaunerc / minimax-prolog
minimax in SWI Prolog for Tic Tac Toe
☆10Updated 7 years ago
Alternatives and similar repositories for minimax-prolog
Users that are interested in minimax-prolog are comparing it to the libraries listed below
Sorting:
- A Player vs AI game of checkers implemented in Prolog☆10Updated 4 years ago
- Write TAP tests with SWI-Prolog☆12Updated 2 years ago
- Operations with matrices, SWI pack☆13Updated last year
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- A simple but effective pure GNU Prolog client connecting with Redis, no libraries required.☆16Updated 8 years ago
- Web playground to try Scryer Prolog in your browser!☆13Updated last year
- Expert system with deductive querying and verification of constraints expressed in natural language☆19Updated 10 months ago
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆11Updated 2 years ago
- 68k port of the PDP-11 version of Comer's Xinu operating system☆16Updated 9 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- Boolean Constraint Solving in Prolog☆43Updated 5 months ago
- The SWI-Prolog Unit Testing library☆9Updated 2 weeks ago
- Synthesizable Uxn CPU☆17Updated 2 years ago
- Tiny 5x8 bitmap font based on spleen and creep, useful for low-resolution displays☆20Updated 3 months ago
- Dis interpreter by Rob Pike☆12Updated 4 years ago
- Virtual gpio module for using together with ivshmem qemu☆25Updated 3 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆14Updated 3 years ago
- The Ciao Preprocessor☆11Updated 6 months ago
- fasmg implementation of ARMv6-M instruction set☆11Updated last year
- Tiny Encryption Algorithm implementation in C. It is a terminal program used to encrypt/decrypt files using 128 bit key.☆17Updated 3 years ago
- A Forth J1 emulator in C☆13Updated 4 years ago
- Simple timetabling engine for schools☆28Updated 10 months ago
- Learn how to create your own 32-bit system from scratch.☆13Updated 3 years ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 2 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- u[Dark]RISC -- "micro-darkrisc" -- an early 16-bit micro-RISC processor defined before DarkRISCV☆15Updated last year
- Portable high-level assembler with authentic C syntax☆24Updated 2 years ago
- Hardware design for the computer formerly known as The Monotron☆18Updated 4 years ago
- ☆23Updated 3 years ago
- SuperH CPU emulator, made to understand how SH4 CPU works (and not for native emulation !)☆14Updated last year