Spain

José Antonio Riaza Valverde

Expert
@jariazavalverde

Lead maintainer for @tau-prolog. Ph.D in Computer Science. Researching on Logic Programming and Fuzzy Logic.

jariaza.es

fasill. Fuzzy Aggregators and Similarity Into a Logic Language

26

blog. Blog sobre programación declarativa, lógica y funcional

8

prolog-smtlib. An SMT-LIB parser in Prolog

8

sat. Boolean satisfiability problem

7

graphs. A generator of graphs written in Python and LaTeX

3

prolog-lens. Prolog

2

prolog-union-find. A union-find algorithm implementation for SWI-Prolog

2

prolog-dimacs. A set of parsers for DIMACS formats written in Prolog

1

stuff. Random useless stuff

1

ts-pio. A monadic library for I/O actions in TypeScript

1
10
Apply