A distributed logic language. ["PRISM: A Parallel Inference System for Problem Solving", S. Kasif et al, Proc 1983 Logic Prog Workshop, pp. 123-152].

In addition suitable contents:
[ 2 ] [ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ as ] [ b ] [ ch ] [ du ] [ ed ] [ er ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gi ] [ gu ] [ h ] [ hop ] [ hr ] [ id ] [ il ] [ in ] [ IS ] [ is ] [ K ] [ ksh ] [ la ] [ language ] [ Lex ] [ lv ] [ M ] [ mo ] [ mod ] [ module ] [ na ] [ nc ] [ nf ] [ ng ] [ op ] [ ph ] [ PR ] [ PRI ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ se ] [ sh ] [ si ] [ st ] [ tr ] [ ua ] [ vi ]