The Wayback Machine - https://web.archive.org/web/20240523195606/https://github.com/friguzzi
Skip to content
View friguzzi's full-sized avatar

Highlights

  • Pro
Block or Report

Block or report friguzzi

Report abuse

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

Report abuse
friguzzi/README.md
  • 🎊 I'm a big fan of Prolog, Haskell, Java, and Python.
  • 🔭 I’m currently working on probabilistic logic programming and statistical relational artificial intelligence
  • 🌱 I’m currently learning Copilot

Pinned

  1. cplint cplint Public

    cplint is a suite of programs for reasoning with probabilistic logic programs

    Prolog 63 13

  2. bddem bddem Public

    bddem is a SWI-Prolog pack for using Binary Decision Diagrams

    C 9 2

  3. swish swish Public

    Forked from SWI-Prolog/swish

    SWI-Prolog for SHaring: a SWI-Prolog web IDE

    Prolog 6 5

  4. pascal pascal Public

    Probabilistic inductive constraint logic

    Prolog 4

  5. liftcover liftcover Public

    Liftcover probabilistic inductive logic programming system

    Prolog 2