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...
Main Author: | |
---|---|
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 |