Search Results - "Declarative logic programming language"

The execution algorithm of mercury, an efficient purely declarative logic programming language

Authors: Thomas C. Conway Fergus Henderson Zoltan Somogyi

Source: The Journal of Logic Programming. 29:17-64

Subject Terms: Logic, 0202 electrical engineering, electronic engineering, information engineering, Mercury, programming language, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences

File Description: application/xml

Access URL: https://www.sciencedirect.com/science/article/abs/pii/S0743106696000684
https://dblp.uni-trier.de/db/journals/jlp/jlp29.html#SomogyiHC96
https://www.sciencedirect.com/science/article/pii/S0743106696000684

Database Transactions in a Purely Declarative Logic Programming Language

Authors: Thomas C. Conway Evan P. Harris Fergus Henderson et al.

Source: Database Systems for Advanced Applications '97. :283-292

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://dblp.uni-trier.de/db/conf/dasfaa/dasfaa97.html#KempCHHRS97

The execution algorithm of Mercury, an efficient purely declarative logic programming language

Authors: Zoltan Somogyi Fergus James Henderson Thomas Charles Conway et al.

Contributors: Zoltan Somogyi Fergus James Henderson Thomas Charles Conway et al.

Source: http://www.cs.mu.oz.au/publications/tr_db/./mu_95_14.ps.gz.

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.3883; http://www.cs.mu.oz.au/publications/tr_db/./mu_95_14.ps.gz

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.3883
http://www.cs.mu.oz.au/publications/tr_db/./mu_95_14.ps.gz

Mercury, an Efficient Purely Declarative Logic Programming Language

Authors: Z. Somogyi F. J. Henderson T. C. Conway et al.

Contributors: Z. Somogyi F. J. Henderson T. C. Conway et al.

Source: http://www.cs.mu.oz.au/mercury/information/papers/acsc95.ps.gz.

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.2677; http://www.cs.mu.oz.au/mercury/information/papers/acsc95.ps.gz

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.2677
http://www.cs.mu.oz.au/mercury/information/papers/acsc95.ps.gz

The implementation of Mercury, an efficient purely declarative logic programming language

Authors: Zoltan Somogyi Fergus James Henderson Thomas Charles Conway et al.

Contributors: Zoltan Somogyi Fergus James Henderson Thomas Charles Conway et al.

Source: http://www.cs.mu.oz.au/mercury/information/papers/ilps94w.ps.gz.

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.3209; http://www.cs.mu.oz.au/mercury/information/papers/ilps94w.ps.gz

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.3209
http://www.cs.mu.oz.au/mercury/information/papers/ilps94w.ps.gz

Uncanny Valleys in Declarative Language Design

Authors: Miller, Mark S. von Dincklage, Daniel Ercegovac, Vuk et al.

Contributors: Miller, Mark S. von Dincklage, Daniel Ercegovac, Vuk et al.

Subject Terms: Declarative logic programming language

File Description: application/pdf

Relation: Is Part Of LIPIcs, Volume 71, 2nd Summit on Advances in Programming Languages (SNAPL 2017); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.9

Availability: https://doi.org/10.4230/LIPIcs.SNAPL.2017.9
https://nbn-resolving.org/urn:nbn:de:0030-drops-71299
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.9

Database Transactions in a Purely Declarative Logic Programming Language.

Authors: Kemp, David B. Conway, Thomas Harris, Evan P. et al.

Source: Database Systems For Advanced Applications '97 - Proceedings of the 5th International Conference on Database Systems For Advanced Applications; 1997, p283-292, 10p

Subject Terms: DATABASES, DECLARATIVE programming languages, JAVA programming language, ELECTRONIC data processing, ALGORITHMS

LLM-powered Datalog Code Translation and Incremental Program Analysis Framework.

Authors: Xizao Wang Tianqi Shen Xiangrong Bin et al.

Source: International Journal of Software & Informatics; 2025, Vol. 15 Issue 2, p251-276, 26p

Subject Terms: LANGUAGE models, LOGIC programming, PROGRAM transformation, RULE-based programming, SOURCE code

Finding Cross-rule Optimization Bugs in Datalog Engines

Authors: Zhang, Chi Wang, Linzhang Rigger, Manuel

Index Terms: Computer Science - Software Engineering, text

URL: http://arxiv.org/abs/2402.12863

Algorithmic definitions for KLM-style defeasible disjunctive Datalog.

Authors: Morris, Matthew Ross, Tala Meyer, Thomas

Source: South African Computer Journal; Dec2020, Vol. 32 Issue 2, p141-170, 30p

Subject Terms: DEFINITIONS, PROGRAMMING languages, LOGIC programming, KNOWLEDGE representation (Information theory), SELF-expression

Scallop: A Language for Neurosymbolic Programming

Authors: Li, Ziyang Huang, Jiani Naik, Mayur

Index Terms: Computer Science - Programming Languages, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, text

URL: http://arxiv.org/abs/2304.04812

Semantic Models of Performance Indicators: A Systematic Survey.

Authors: Diamantini, Claudia Khan, Tarique Potena, Domenico et al.

Source: ACM Computing Surveys; Aug2025, Vol. 57 Issue 8, p1-37, 37p

Subject Terms: KEY performance indicators (Management), CONCEPTUAL models, NEEDS assessment

AI Reasoning in Deep Learning Era: From Symbolic AI to Neural–Symbolic AI.

Authors: Liang, Baoyu Wang, Yuchen Tong, Chao

Source: Mathematics (2227-7390); Jun2025, Vol. 13 Issue 11, p1707, 42p

Subject Terms: ARTIFICIAL intelligence, LOGIC programming, MATHEMATICAL logic, DEEP learning, BRITTLENESS, SCALABILITY

Review and Mapping of Search-Based Approaches for Program Synthesis.

Authors: Saber, Takfarinas Tao, Ning

Source: Information; May2025, Vol. 16 Issue 5, p401, 28p

Subject Terms: SOFTWARE development tools, SEARCH algorithms, COMMUNITY-based programs, HEURISTIC programming, METAHEURISTIC algorithms

A Brief Overview of the Pawns Programming Language.

Authors: Naish, Lee

Source: Software (2674-113X); Dec2024, Vol. 3 Issue 4, p473-497, 25p

Subject Terms: FUNCTIONAL programming (Computer science), PROGRAMMING languages, ANNOTATIONS, ARGUMENT, SHARING

Finding Cross-Rule Optimization Bugs in Datalog Engines

Authors: Chi Zhang Linzhang Wang Manuel Rigger

Source: Proceedings of the ACM on Programming Languages. 8:110-136

Subject Terms: Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2402.12863

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification.

Authors: CRISTIÁ, MAXIMILIANO ROSSI, GIANFRANCO

Source: Theory & Practice of Logic Programming; Sep2024, Vol. 24 Issue 5, p1011-1030, 20p

Subject Terms: SOFTWARE verification, CONSTRAINT programming, LOGIC programming, SET theory, PROGRAMMING languages

Neurosymbolic Programming in Scallop: Principles and Practice.

Authors: Ziyang Li Jiani Huang Jason Liu et al.

Source: Foundations & Trends in Programming Languages; 2024, Vol. 8 Issue 2, p120-249, 135p

VIRTUAL NETWORK VERIFICATION SERVICE

MxPL: A Programming Language for Matrix-Related Operations.

Authors: Aydoğdu, Mehmet Cemil Aydoğdu, Özge Pehlivan, Hüseyin

Source: Symmetry (20738994); Feb2024, Vol. 16 Issue 2, p181, 28p

Subject Terms: PROGRAMMING languages, MATRICES (Mathematics), MODERN languages, MATHEMATICAL models, PARSING (Computer grammar)