A constructive view of PROLOG

DOI10.1016/0743-1066(86)90005-1zbMath0597.68015OpenAlexW2149109323MaRDI QIDQ3731012

Damjan Bojadžiev

Publication date: 1986

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(86)90005-1

zbMATH Keywords

constructive logicHorn clause logicLogic Programming

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) General topics in the theory of software (68N01)

This page was built for publication: A constructive view of PROLOG