1. AND-parallel logic programming language. Essentially flat Parlog83 with sequential-and and sequential-or eliminated.
["Strand: New Concepts on Parallel Programming", Ian Foster et al, P-H 1990]. Strand88 is a commercial implementation.
2. A query language, implemented on top of INGRES (an RDBMS). ["Modelling Summary Data", R. Johnson, Proc ACM SIGMOD Conf 1981].