dragonwasrobot/learn-prolog-now-exercises

Stars
284
Rank 141,151 (Top 3 %)
Language
Prolog
Created almost 12 years ago
Updated 11 months ago

dragonwasrobot/learn-prolog-now-exercises

dragonwasrobot

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.

learn-prolog-now-exercises

What is this?

This repository contains my solutions to the exercises found in the 'Learn Prolog Now!' book by Patrick Blackburn, Johan Bos and Kristina Striegnitz.

Be aware that the provided solutions may contain errors, in which case you are more than welcome to submit a PR with any corrections.

json-schema-to-elm

Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications

i18n-to-elm

Generates Elm types and functions from i18n key/value JSON files

chip-8

A CHIP-8 emulator written in Elm

json_schema

A library for parsing, inspecting and manipulating JSON Schema documents

brainfuck

A brainfuck interpreter written in Elm

simpl-lang

A simple language created in Coq, batteries and correctness proofs included.

gesture-recognition

Project for inferring various touch and object gestures using the TUIO protocol, CoffeeScript and node.js

helm-bitbucket

A helm interface for searching Bitbucket

yasnippets-coq

Coq snippets for the Yasnippet emacs mode.

99-problems

I got 99 problems but a Lisp ain't one

adventOf-CODE_2022

25 days, 25 puzzles, 25 languages, surely I will regret this decision

dragonwasrobot.github.io

ex_rerun

Rerun custom mix tasks on code modification

formal-moessner

A formal study of Moessner's sieve

formal-language

A python package containing various constructs used in formal language theory, i.e. Finite Automatas, Push-down Automatas and Turing Machines.

sicp-exercises

This is a collection of solutions to the exercises found in 'Structure and Interpretation of Computer Programs' by Harold Abelson, Gerald Jay Sussman and Julie Sussman.

get-shit-done

Script for reducing distractions and improving focus

game-of-life

A CoffeeScript and HTML5 canvas implementation of Conway's Game of Life.

b.el

A byte manipulation library