A geometric interpretation of LD-resolution

DOI10.1016/j.tcs.2004.03.007zbMath1068.68041OpenAlexW2010264912MaRDI QIDQ596040

A. Bujosa, R. N. Banerjee

Publication date: 10 August 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.03.007

zbMATH Keywords

Dynamical systemsSLD-resolutionAffine linear varietiesFree-modulesSemi-group ringSyntactic unification

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• The design of linear algebra and geometry
• Generalized metrics and uniquely determined logic programs.
• Vectorial equations solving for mechanical geometry theorem proving
• Dynamical systems, measures, and fractals via domain theory
• Modules with decompositions that complement direct summands
• Syntactic Unification as a Geometric Operation in Free Modules over certain Rings
• The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines
• Continuation-Based Program Transformation Strategies
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A geometric interpretation of LD-resolution