The homogeneous form of logic programs with equality

DOI10.1305/NDJFL/1093635423zbMATH Open0707.03022OpenAlexW2040724868MaRDI QIDQ918967

William Demopoulos

Publication date: 1990

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635423

zbMATH Keywords

homogeneous formHorn clause logic programs with equalityminimal Herbrand model

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Related Items (1)

A goal-type driven method of solving Horn logic with equality

This page was built for publication: The homogeneous form of logic programs with equality

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