Search Results - "Declarative logic programming language"
-
1
Authors:
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
-
2
Authors: et al.
Source: Database Systems for Advanced Applications '97. :283-292
-
3
Authors: et al.
Contributors: et al.
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
-
4
Authors: et al.
Contributors: et al.
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
-
5
Authors: et al.
Contributors: et al.
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
-
6
Authors: et al.
Contributors: 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
-
7
Authors: 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
-
8
Authors: 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
-
9
-
10
Authors:
Source: South African Computer Journal; Dec2020, Vol. 32 Issue 2, p141-170, 30p
-
11
-
12
Authors: et al.
Source: ACM Computing Surveys; Aug2025, Vol. 57 Issue 8, p1-37, 37p
Subject Terms: KEY performance indicators (Management), CONCEPTUAL models, NEEDS assessment
-
13
Authors:
Source: Mathematics (2227-7390); Jun2025, Vol. 13 Issue 11, p1707, 42p
Subject Terms: ARTIFICIAL intelligence, LOGIC programming, MATHEMATICAL logic, DEEP learning, BRITTLENESS, SCALABILITY
-
14
Authors:
Source: Information; May2025, Vol. 16 Issue 5, p401, 28p
-
15
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
-
16
Authors:
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
-
17
Authors:
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
-
18
Authors: et al.
Source: Foundations & Trends in Programming Languages; 2024, Vol. 8 Issue 2, p120-249, 135p
-
19
-
20
Authors:
Source: Symmetry (20738994); Feb2024, Vol. 16 Issue 2, p181, 28p
Full Text Finder
Nájsť tento článok vo Web of Science