Extending C with Prolog (1994)
Summary
Prolog's declarative strengths complement C's imperative style, and the article explains an interface between the two via Amzi! Prolog. It covers core Prolog concepts (symbols, unification, backtracking, dynamic memory) and demonstrates an IRQXS sample that builds an expert system to resolve IRQ conflicts, illustrating how Prolog rules and C data can drive a practical advisor. It argues that declarative programming can reduce complexity for knowledge-based applications and discusses integration strategies and potential applications like natural language front-ends and tax-like forms.