zebreus / prolog-chessLinks
A simple minimax chess engine written in prolog
☆10Updated 2 years ago
Alternatives and similar repositories for prolog-chess
Users that are interested in prolog-chess are comparing it to the libraries listed below
Sorting:
- Fast, simplified WAM-based Prolog system☆22Updated 3 weeks ago
- Web Framework for SWI-Prolog☆43Updated 9 years ago
- Boolean Constraint Solving in Prolog☆43Updated 5 months ago
- Poplog☆21Updated 14 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 7 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- A manual (beh...) clone from bitbucket to use hosted CI service which only support GitHub☆50Updated last week
- SETL4 brings the raw power and speed of SPITBOL to non-numeric computation using set-theoretic constructs.☆14Updated 5 years ago
- Small Prolog☆12Updated 8 years ago
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆19Updated 8 years ago
- Reason about Bitcoin addresses with Prolog☆22Updated last year
- Prolog library for building self-optimizing predicates☆9Updated 10 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- A reference card for GNU APL☆12Updated 3 months ago
- The package manager for Cyclone Scheme.☆32Updated last year
- Le-Lisp by INRIA☆28Updated 2 years ago
- Benoit Desouter's library for tabling on delimited continuations☆9Updated 9 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Updated 6 months ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 11 years ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆17Updated 5 years ago
- R6RS SRFIs☆26Updated 13 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13Updated 9 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- SWI-Prolog dynamic C interface☆17Updated 8 months ago
- ☆33Updated 4 months ago
- JSON encoder/decoder in pure PicoLisp☆19Updated 4 years ago
- Yes, Erlang in SWI-Prolog!☆11Updated 6 years ago