• Constraint Propagation ⤓ .md 2026-07-13T062546.818 000000000000784
  **Origin.** 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-13T062546.818 000000000000760
  **Origin.** 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-13T062546.818 000000000000864
  **Origin.** FGCP's Knowledge Information Processing Systems (KIPS) research; frame-based knowledge representation; semantic networks with inference.
• Logic Programming ⤓ .md 2026-07-13T062546.818 000000000000744
  **Origin.** 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-13T062546.818 000000000000752
  **Origin.** FGCP's Parallel Inference Machine (PIM); OR-parallel and AND-parallel execution models; research on granularity control and load balancing.