lagenar/tinyprolog lagenar/tinyprolog

  • Stars
    star
    1
  • Language
    OCaml
  • Created about 14 years ago
  • Updated about 14 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lagenar/tinyprolog
github

lagenar

Reviews

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

Repository Details

Naive interpreter for a subset of Prolog

More Repositories

1

shopify-scraper

Simple scraper to extract all products from shopify sites
Python
158
star
2

python-cronet

Python wrapper for Cronet - Chromium's http library
C
12
star
3

pacman

pacman
C
3
star
4

guarani

Python
2
star
5

sec2

Trabajo final de introducción a la programación II
2
star
6

Algoritmos2

Algunos ejercicios de algoritmos 2
C++
1
star
7

exploratoria

Programación exploratoria
Prolog
1
star
8

clprover

A First-order logic theorem prover
C++
1
star
9

code2

Emulador code2
C++
1
star
10

scripts

Python
1
star
11

Vehicle-selection-problem

Trabajo final de algoritmos II
C++
1
star
12

fol

Program to transform First order logic formulas into clause normal form
OCaml
1
star
13

rivadavia

PHP
1
star