haijinSk

Pinned Repositories

• Maude

  Language based on Rewriting Logic

  Language:C++96111011

• scryer-prolog

  A modern Prolog implementation written mostly in Rust.

  Language:Rust2.1k541.7k131

• trealla

  A compact, efficient Prolog interpreter written in plain-old C.

  Language:C2791456913

• the-power-of-prolog

  Introduction to modern Prolog

  Language:HTML1.2k533676

haijinSk's Repositories