pulmro/martelli-montanari

An implementation of Martelli-Montanari unification algorithm for Prolog written in Prolog.

GitHub repository with 7 stars and 0 forks.

Language: Prolog

Open provider repository

Latest metric snapshot

2026-06-15: 7 stars and 0 forks.

Similar repositories

  1. 1. andrealani/COOLFluiD

    The object-oriented HPC platform for CFD, plasma and multi-physics simulations whose development started in 2002 at the Von Karman Institute for Fluid Dynamics is finally open!

    GitHub repository with 261 stars and 85 forks.

    Trending score: 0.38; stars gained: +0; forks gained: +0.

    Language: Prolog

Trending in Prolog

  1. 1. andrealani/COOLFluiD

    The object-oriented HPC platform for CFD, plasma and multi-physics simulations whose development started in 2002 at the Von Karman Institute for Fluid Dynamics is finally open!

    GitHub repository with 261 stars and 85 forks.

    Trending score: 0.38; stars gained: +0; forks gained: +0.

    Language: Prolog