[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
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.