jariazavalverde/fasill jariazavalverde/fasill

  • Stars
    star
    21
  • Rank 1,078,588 (Top 22 %)
  • Language
    Prolog
  • License
    BSD 3-Clause "New...
  • Created almost 6 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jariazavalverde/fasill
github

jariazavalverde

Reviews

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

Repository Details

Fuzzy Aggregators and Similarity Into a Logic Language

More Repositories

1

blog

Blog sobre programación declarativa, lógica y funcional
Haskell
8
star
2

prolog-smtlib

An SMT-LIB parser in Prolog
Prolog
7
star
3

sat

Boolean satisfiability problem
C
6
star
4

prolog-lens

Prolog
2
star
5

prolog-union-find

A union-find algorithm implementation for SWI-Prolog
Prolog
2
star
6

stuff

Random useless stuff
Haskell
1
star
7

graphs

A generator of graphs written in Python and LaTeX
TeX
1
star
8

prolog-dimacs

A set of parsers for DIMACS formats written in Prolog
Prolog
1
star
9

cheso

Cheso chess engine
Rust
1
star
10

ts-pio

A monadic library for I/O actions in TypeScript
TypeScript
1
star