Introduction to logic programming

DOI10.2200/S00966ED1V01Y201911AIM044MaRDI QIDQ5217218zbMATH OpenOpenAlexFDO

Authors Michael Genesereth, Vinay K. Chaudhri

Publication date 21 February 2020

Published in Synthesis Lectures on Artificial Intelligence and Machine Learning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2200/s00966ed1v01y201911aim044

zbMATH Keywords

rulesstratificationunificationPrologqueriesinterpretationslogic programsupdatefactsbottom-up versus top-down searchEpilog

Mathematics Subject Classification ID

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

Cited in

(9)

• scientific article; zbMATH DE number 3913653 (Why is no real title available?)
• scientific article; zbMATH DE number 4028866 (Why is no real title available?)
• scientific article; zbMATH DE number 53604 (Why is no real title available?)
• scientific article; zbMATH DE number 851596 (Why is no real title available?)
• Logic programming
• scientific article; zbMATH DE number 587821 (Why is no real title available?)
• Parallel and distributed logic programming. Towards the design of a framework for the next generation database machines.
• scientific article; zbMATH DE number 194376 (Why is no real title available?)
• scientific article; zbMATH DE number 4106296 (Why is no real title available?)

Describes a project that uses

Uses Software

• Epilog
• EpilogJS
• JavaScript

This page was built for publication: Introduction to logic programming

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