Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Unification Algorithm

5 views
Skip to first unread message

Rohit Krishna

unread,
Nov 17, 2009, 1:38:42 PM11/17/09
to
Has anyone tried writing a unification algorithm in Java ?
Please share the code if you have.Or is there anywhere I can find it ?
I need to build a quick prototype.

Kristjan Robam

unread,
Apr 9, 2021, 10:07:33 AM4/9/21
to
You can make requests to URLs, where you can run php scripts.




Kristjan Robam
0 new messages