Language peer sets for Half Life:
Designed 1998 ↑
1990s languages ↑
Half Life(ID:5492/hal003)alternate simple view
Country: United States
Half Life essentially implements the Login subset of Life (i.e., Prolog with psi-terms). Functions are supported syntactically, that is, they can be defined, but they are called with unification instead of matching. Half_Life compiles small programs correctly, but no guarantees are given as to its suitability for anything except research into implementation technology.
Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder