more....
Equality, types and generic modules for logic programming. A language using Horn clauses. J.A. Goguen, J. Meseguer.
more......
Copyright © 1999-2011 www.hobbyprojects.com (All rights reserved)