A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm

To help make logic programming more suitable for writing large systems, we develop linguistic mechanisms that permit the organization of logic programs around abstractions. In particular, we present the design of Danali, an equational logic programming language that supports predicate and data abst...

Full description

Bibliographic Details
Main Author: Zachary, Joseph Lawrence
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149666
_version_ 1826206749956243456
author Zachary, Joseph Lawrence
author_facet Zachary, Joseph Lawrence
author_sort Zachary, Joseph Lawrence
collection MIT
description To help make logic programming more suitable for writing large systems, we develop linguistic mechanisms that permit the organization of logic programs around abstractions. In particular, we present the design of Danali, an equational logic programming language that supports predicate and data abstraction.
first_indexed 2024-09-23T13:37:58Z
id mit-1721.1/149666
institution Massachusetts Institute of Technology
last_indexed 2024-09-23T13:37:58Z
publishDate 2023
record_format dspace
spelling mit-1721.1/1496662023-03-30T03:37:05Z A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm Zachary, Joseph Lawrence To help make logic programming more suitable for writing large systems, we develop linguistic mechanisms that permit the organization of logic programs around abstractions. In particular, we present the design of Danali, an equational logic programming language that supports predicate and data abstraction. 2023-03-29T15:15:30Z 2023-03-29T15:15:30Z 1987-08 https://hdl.handle.net/1721.1/149666 18431677 MIT-LCS-TR-405 application/pdf
spellingShingle Zachary, Joseph Lawrence
A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm
title A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm
title_full A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm
title_fullStr A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm
title_full_unstemmed A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm
title_short A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm
title_sort framework for incorporating abstraction mechanisms into the logic programming paradigm
url https://hdl.handle.net/1721.1/149666
work_keys_str_mv AT zacharyjosephlawrence aframeworkforincorporatingabstractionmechanismsintothelogicprogrammingparadigm
AT zacharyjosephlawrence frameworkforincorporatingabstractionmechanismsintothelogicprogrammingparadigm