scientific article; zbMATH DE number 704873

zbMath0805.68022MaRDI QIDQ4317721

William F. Clocksin, Christopher S. Mellish

Publication date: 20 December 1994

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) Artificial intelligence (68T99) Logic programming (68N17)

Related Items (6)

Schema induction for logic program synthesis ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ The pragmatic proof: Hypermedia API composition and execution ⋮ Reversible debugging in logic programming ⋮ Verification, validation, and integrity issues in expert and database systems: Two perspectives ⋮ A study of a generalization of a card problem

This page was built for publication: