scientific article; zbMATH DE number 1058664

MaRDI QIDQ4353338zbMATH OpenFDO

Authors William F. Clocksin

Publication date 8 September 1997

zbMATH Keywords

backtrackingclausesProlog programming

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Software, source code, etc. for problems pertaining to computer science (68-04) Logic programming (68N17)

Cited in

(3)

• Enigma 1225: Prolog-assisted solution of a puzzle using discrete mathematics
• Improving the ISO Prolog Standard by Analyzing Compliance Test Results
• Fifty Years of Prolog and Beyond

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4353338)