The role of logic programming in the Fifth Generation Computer Project

Logic, Algebra, and Computation

“…We refer to the language FGHCav augmented with the control meta-call as KLI [55). The actual meta-call implemented as part of PIMOS [18), the KLI operating system, also includes resource management facilities: a computation is allocated some CPU time and some memory, and when either of these is consumed it announces resource overflow and suspends.…”