We have collection of more than 1 Million open source products ranging from Enterprise product to
small libraries in all platforms. We aggregate information from all open source repositories.
Search and find the best for your needs. Check out projects section.
Gambol provides basic propositional unification and search capabilities for Common Lisp. The code is a modification of an older library from the CMU AI repository, Frolic. I have removed from Frolic some code specific to the Cray, as well as references to the "Frobs" system which gives Frolic its name. See AlterationsFromFrolic for all the changes I've made. A small taste: GAMBOL> (*- (mortal ?x) (human ?x))((MORTAL ?X) (HUMAN ?X))GAMBOL> (*- (human ?x) (man ?x))((HUMAN ?X) (MAN ?X))GAMBOL> (*-