• Constraint Propagation ⤓ .md 2026-07-13T092753.000 000000000013072
  FGCP constraint logic programming research; CLP(R), CLP(FD) systems; Concurrent Constraint Programming (Saraswat, influenced by FGCP concurrent logic work).
• Guarded Computation ⤓ .md 2026-07-13T092753.000 000000000012288
  FGCP's Guarded Horn Clauses (GHC) and its successor KL1; Ueda's concurrent logic programming; influenced Flat Concurrent Prolog.
• Knowledge Information Processing ⤓ .md 2026-07-13T092753.000 000000000012352
  FGCP's Knowledge Information Processing Systems (KIPS) research; frame-based knowledge representation; semantic networks with inference.
• Logic Programming ⤓ .md 2026-07-13T092753.000 000000000011992
  FGCP's adoption of Prolog and development of KL1 (Kernel Language 1) as the system programming language; influenced by Kowalski's logic programming thesis.
• Parallel Inference ⤓ .md 2026-07-13T092753.000 000000000012616
  FGCP's Parallel Inference Machine (PIM); OR-parallel and AND-parallel execution models; research on granularity control and load balancing.