Predicates as parameters in logic programming

DOI10.1007/BFB0038691zbMath1502.68057OpenAlexW1237419177MaRDI QIDQ5053004

James Andrews

Publication date: 26 November 2022

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

Full work available at URL: https://doi.org/10.1007/bfb0038691

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17)

This page was built for publication: Predicates as parameters in logic programming