ssomayyajula / teyjus Goto Github PK
View Code? Open in Web Editor NEWThis project forked from teyjus/teyjus
An efficient implementation of the higher-order logic programming language Lambda Prolog
Home Page: http://teyjus.cs.umn.edu
License: GNU General Public License v3.0