Výsledky vyhledávání - Declarative logic programming language

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

Autoři: Thomas C. Conway Fergus Henderson Zoltan Somogyi

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

Témata: 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

Popis souboru: application/xml

Přístupová URL adresa: 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

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

Autoři: Xizao Wang Tianqi Shen Xiangrong Bin a další

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

Témata: LANGUAGE models, LOGIC programming, PROGRAM transformation, RULE-based programming, SOURCE code

Database Transactions in a Purely Declarative Logic Programming Language

Autoři: Thomas C. Conway Evan P. Harris Fergus Henderson a další

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

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/dasfaa/dasfaa97.html#KempCHHRS97

Programming languages : implementations, logics, and programs : 9th international symposium, PLILP'97, including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings / Hugh Glaser, Pieter Hartel, Herbert Kuchen (eds.).

Autoři: PLILP '97 (9 ; 1997 ; Southampton). Glaser, Hugh. Hartel, Pieter H. a další

Přispěvatelé: PLILP '97 (9 ; 1997 ; Southampton). Glaser, Hugh. Hartel, Pieter H. a další

Témata: Języki programowania -- konferencje

Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1638770&theme=nukat

Analysis of the methods for competing recursion in recursive riles in the logic programming language Prolog

Autoři: Dmitrii Valer'evich Zdor Tat'yana Nikolaevna Gornostaeva

Zdroj: Программные системы и вычислительные методы. :68-76

Přístupová URL adresa: http://nbpublish.com/library_get_pdf.php?id=35383

Uncanny Valleys in Declarative Language Design

Autoři: Miller, Mark S. von Dincklage, Daniel Ercegovac, Vuk a další

Přispěvatelé: Miller, Mark S. von Dincklage, Daniel Ercegovac, Vuk a další

Témata: Declarative logic programming language, ddc:004

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.9

Answer Sets and the Language of Answer Set Programming.

Autoři: Lifschitz, Vladimir¹

Zdroj: AI Magazine. Fall2016, Vol. 37 Issue 3, p7-11. 5p.

Témata: *Computer programming, *Logic programming, *Problem solving, *Programming languages, Declarative programming

Programming the logic of space : a new approach to space syntax

Autoři: Fernandes, Pedro Afonso

Témata: ESPAÇOS URBANOS, URBAN SPACES, PROLOG, URBANISMO, URBANISM

Relation: 2184-8009

Dostupnost: http://hdl.handle.net/10437/14731

A sound and complete semantics for a similarity-based logic programming language.

Autoři: Julián-Iranzo, Pascual Rubio-Manzano, Clemente

Zdroj: Fuzzy Sets & Systems. Jun2017, Vol. 317, p1-26. 26p.

Témata: *LOGIC programming, *FUZZY algorithms, *PROLOG (Computer program language), *SEMANTICS, *SUBSET selection

Modeling and Language Extensions.

Autoři: Gebser, Martin Schaub, Torsten

Zdroj: AI Magazine. Fall2016, Vol. 37 Issue 3, p33-44. 12p.

Témata: *Computer programming, *Logic programming, *Problem solving, *Programming languages, Declarative programming

Database Transactions in a Purely Declarative Logic Programming Language.

Autoři: Kemp, David B. Conway, Thomas Harris, Evan P. a další

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

Témata: DATABASES, DECLARATIVE programming languages, JAVA programming language, ELECTRONIC data processing, ALGORITHMS

Expressing and Verifying Business Contracts with Abductive Logic Programming

Autoři: Alberti, Marco Chesani, Federico Gavanelli, Marco a další

Zdroj: International Journal of Electronic Commerce, 2008 Jul 01. 12(4), 9-38.

Přístupová URL adresa: https://www.jstor.org/stable/27751268

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

Autoři: Zoltan Somogyi Fergus James Henderson Thomas Charles Conway a další

Přispěvatelé: Zoltan Somogyi Fergus James Henderson Thomas Charles Conway a další

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

Popis souboru: 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

Dostupnost: 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

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

Autoři: Zoltan Somogyi Fergus James Henderson Thomas Charles Conway a další

Přispěvatelé: Zoltan Somogyi Fergus James Henderson Thomas Charles Conway a další

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

Popis souboru: 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

Dostupnost: 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

Mercury, an Efficient Purely Declarative Logic Programming Language

Autoři: Z. Somogyi F. J. Henderson T. C. Conway a další

Přispěvatelé: Z. Somogyi F. J. Henderson T. C. Conway a další

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

Popis souboru: 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

Dostupnost: 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

Using Constraint Logic Programming to Analyze the Chronology in "A Rose for Emily"

Autoři: Burg, Jennifer Boyle, Anne Lang, Sheau-Dong

Zdroj: Computers and the Humanities, 2000 Dec 01. 34(4), 377-392.

Přístupová URL adresa: https://www.jstor.org/stable/30204830

The Answer Set Programming Paradigm.

Autoři: Janhunen, Tomi Niemelä, Ilkka

Zdroj: AI Magazine. Fall2016, Vol. 37 Issue 3, p13-24. 12p.

Témata: *Computer programming, *Problem solving, *Programming languages, *Logic programming, Declarative programming

Mathematical Aspects of Logic Programming Semantics

Autoři: Pascal Hitzler Anthony Seda

Resource Type: eBook.

Témata: Logic programming, Programming languages (Electronic computers)--Semantics

Categories: COMPUTERS / Programming / Games, COMPUTERS / Information Theory, COMPUTERS / Machine Theory, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, MATHEMATICS / General, MATHEMATICS / Algebra / General, MATHEMATICS / History & Philosophy

LOGIC PROGRAMMING.

Autoři: Genesereth, Michael R. Ginsberg, Matthew L.

Zdroj: Communications of the ACM. Sep85, Vol. 28 Issue 9, p933-941. 9p. 4 Diagrams, 3 Charts.

Témata: *COMPUTER programming, *PROGRAMMING languages, *SOFTWARE engineering, *ARTIFICIAL intelligence, *COMPUTER systems, LOGIC programming

Scallop: A Language for Neurosymbolic Programming

Autoři: Li, Ziyang Huang, Jiani Naik, Mayur

Témata: Computer Science - Programming Languages, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, text

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