Date: | Mon Oct 29 18:25:22 1999 | |
Subject: | ? Unification algorithm ? | |
From: | cglur | |
Volume-ID: | 991029.01 |
Hi All, Since Pop is so 'natural' to express algorithms, can I find (on line) a pop implimentation of 'Unification' ? I like to read algorithms in pseudo code: with an Algol/Pascal type structure. And pop is very close to this. BTW can any-person tell of sucessfully installing and running Poplog on Linux ? Thanks for any replies; also to cglur@onwe.co.za , since I often miss this NewsGroup. Chris Glur. |