A new term representation method for prolog

DOI10.1016/S0743-1066(97)00062-9MaRDI QIDQ3841096zbMATH OpenFDO

Authors Xining Li

Publication date 29 September 1998

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

Full work available at URL https://doi.org/10.1016/S0743-1066(97)00062-9

zbMATH Keywords

program sharingProlog systemsstructure copyingstructure sharing

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 4092824
• scientific article; zbMATH DE number 1696792
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• Logic programming and knowledge representation---The A-Prolog perspective
• Type inference in Prolog: A new approach
• A structured alternative to Prolog with simple compositional semantics
• scientific article; zbMATH DE number 48465

Cited in

(2)

• Representation sharing for Prolog
• Pre-indexed Terms for Prolog

Describes a project that uses

Uses Software

• wamcc

This page was built for publication: A new term representation method for prolog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3841096)