Skip to content
View MauroDiNuzzo's full-sized avatar
2 followers · 1 following

Block or report MauroDiNuzzo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. pla pla Public

    Prolog Lamba Abstractions: A lightweight and syntactically nonintrusive (e.g., operator-less) implementation of lambdas in Prolog.

    Prolog 1

  2. clpfba clpfba Public

    Constraint Logic Programming for Flux Balance Analysis. A CSP-based method for sampling flux distributions in metabolic reaction networks.

    Prolog

  3. kacring kacring Public

    Matlab implementation of the Kac Ring. A statistical mechanics model to explain the second law of thermodynamics.

    MATLAB

  4. slp slp Public

    Stochastic Logic Programming. Probabilistic extensions to logic programs.

    Prolog

  5. ilp ilp Public

    Inductive Logic Programming. Symbolic AI for generating and testing hypotheses from background knowledge and examples.

    Prolog

  6. psp-plx psp-plx Public

    Prolog Server Pages/Prolog XML. Server-side web scripting languages based on logic programming.

    Prolog