GCLA : the design, use, and implementation of a program development system
Martin Aronsson · Medical Entomology and Zoology · 1993
We present a program development system, GCLA (Generalized horn Clause LAnguage*), which is based on a generalization of Horn clauses (e.g. Prolog). This generalization takes a quite different view ...