Introduction to Logic Programming

DOI10.2200/S00966ED1V01Y201911AIM044zbMath1451.68003OpenAlexW3006564246MaRDI QIDQ5217218

Vinay K. Chaudhri, Michael R. Genesereth

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

rulesstratificationunificationinterpretationslogic programsPrologqueriesupdatefactsbottom-up versus top-down searchEpilog

Mathematics Subject Classification ID

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

Uses Software

• JavaScript
• EpilogJS
• Epilog

This page was built for publication: Introduction to Logic Programming