Join us for a high-level tour of logic programming, where facts and rules become a dialogue with the computer. We'll unpack head/body clauses, non-monotonic reasoning with negation as failure, and the distinction between representation and control that shapes algorithms. We'll skim major families—Prolog, Datalog, ASP—and extensions like CLP, ALP, ILP, and meta-logic where programs can reason about themselves. No heavy coding—just core concepts, connections, and their power for knowledge representation and solving real-world problems.

Note:  This podcast was AI-generated, and sometimes AI can make mistakes.  Please double-check any critical information.

Sponsored by Embersilk LLC