Computation of full logic programs using one-variable environments

DOI10.1007/BF03037440zbMath0593.68009OpenAlexW2125554510MaRDI QIDQ1076507

Paul J. Voda

Publication date: 1986

Published in: New Generation Computing (Search for Journal in Brave)

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

zbMATH Keywords

formal semanticsenvironmentLISPlogic programming languageformal theoriesfull first order predicate calculustheory of pairs

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Uses Software

• Maple

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory of symbolic expressions. II
• A view of programming languages as symbiosis of meaning and computations
• Making prolog more expressive
• A logical reconstruction of Prolog II

This page was built for publication: Computation of full logic programs using one-variable environments