An efficient implementation of the higher-order logic programming language Lambda Prolog
Home Page:http://teyjus.cs.umn.edu
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool