agiacalone / cecs-342-lab-prologLinks
CECS 342 Lab 4: Logic Languages with SWI-Prolog
☆13Updated 3 years ago
Alternatives and similar repositories for cecs-342-lab-prolog
Users that are interested in cecs-342-lab-prolog are comparing it to the libraries listed below
Sorting:
- ☆22Updated 9 months ago
- the origins of J☆62Updated last year
- A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.☆91Updated last year
- Embedded Lisp Interpreter☆52Updated last month
- A simple Web Assembly Interpreter☆16Updated last year
- ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…☆58Updated last month
- An introduction to the J programming language that gets to the point.☆62Updated last month
- Programming language for ternary computing☆30Updated 4 years ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 8 months ago
- Convert s-expressions input to HTML output.☆48Updated 11 months ago
- A collection of impls to get the current moon phase☆82Updated this week
- [WIP] A book on the k language.☆47Updated 2 years ago
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆125Updated 4 months ago
- This is a numpy implementation of the Skip-gram algorithm described in Mikolov et al's Word2Vec paper. It is intended for didactic purpos…☆36Updated 2 years ago
- Text Adventure game in SWI Prolog.☆100Updated last year
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- ☆51Updated last year
- ☆40Updated 2 years ago
- A probabilistic approximate DNF counter☆37Updated 3 weeks ago
- A cross-platform version of the ETH Oberon System 3 compatible with the Oberon+ compiler and IDE☆100Updated last year
- What impact does floating point precision have on Mandelbrot set calculations?☆107Updated 2 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- ISBL - Information Systems Base Language☆19Updated 10 years ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Pi number calculator using 8088 assembly language☆64Updated 3 years ago
- k for BareMetal☆10Updated 6 months ago
- Examples of Linux Inter-Processing Communication☆35Updated 4 months ago
- ☆45Updated 2 years ago
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago