scientific article; zbMATH DE number 851596

zbMATH Open0845.68021MaRDI QIDQ4868062FDOQ4868062

Authors:

Publication date: 5 March 1996

Title of this publication is not available (Why is that?)

Recommendations

• Introduction to logic programming
• scientific article; zbMATH DE number 3913653
• Logic programming with Prolog
• scientific article; zbMATH DE number 4076677
• scientific article; zbMATH DE number 48465
• scientific article; zbMATH DE number 4028866
• scientific article; zbMATH DE number 49478
• scientific article; zbMATH DE number 47956

zbMATH Keywords

implementationsProlog programming

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic programming (68N17)

Cited In (17)

• Title not available (Why is that?)
• On the implementation of GNU Prolog
• Title not available (Why is that?)
• Unification for infinite sets of equations between finite terms
• Weakest preconditions for pure Prolog programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic programming with Prolog
• Title not available (Why is that?)
• Introduction to logic programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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 Q4868062)