2015/08/16 by Keehang Kwon, Kwon, Keehang
Computer Science · #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #Semantic Web and Ontologies #cs.PL
paper · pdf · doi:10.48550/arxiv.1508.03837
6 pages. arXiv admin note: text overlap with arXiv:1709.08193
openalex publication_date 2015/08/16 · arxiv created 2018/01/24 · arxiv updated 2018/01/26 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper, we present two new forms of the write statement: one of the form write(x);G where G is a statement and the other of the form write(x);D where D is a module. The former is a generalization of traditional write statement and is quite useful. The latter is useful for implementing interactive modules.