Publication:4862201

zbMath0834.68008MaRDI QIDQ4862201

H.Herre, Hans-Joachim Goltz

Publication date: 6 February 1996

zbMATH Keywords

PROLOG; universal theories; definite programs

Mathematics Subject Classification ID

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

68N15: Theory of programming languages

68T30: Knowledge representation

68N17: Logic programming

Related Items

Frege and the resolution calculus