scientific article; zbMATH DE number 1971503

zbMath1029.68031MaRDI QIDQ4423202

William F. Clocksin, Christopher S. Mellish

Publication date: 26 August 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Prolog

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)

Related Items (6)

Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition ⋮ Proving Arrow's theorem by \texttt{PROLOG} ⋮ The Prolog Debugger and Declarative Programming ⋮ Introducing Computer Science to High School Students Through Logic Programming ⋮ Towards Real-World HTN Planning Agents ⋮ Interactive Simplifier Tracing and Debugging in Isabelle

This page was built for publication: