💡 Words with a Similar Meaning to "Sld resolution"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| separation logic | In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs. |
| datalognoun | A set of data collected from a single source. |
| logic learning machine | a machine learning method based on the generation of intelligible rules. |
| conflict-driven clause learning | In computer science, conflict-driven clause learning is an algorithm for solving the Boolean satisfiability problem. |
| declarative programmingnoun | (programming) a programming paradigm that expresses the logic of a computation instead of its control flow |
| prolognoun | (programming) A programming language developed in the 1970s for artificial intelligence and logic programming. |
| rule-based system | In computer science, a rule-based system is a computer system in which domain-specific knowledge is represented in the form of rules and general-purpose reasoning is used to solve problems in the domain. |
| control flow analysis | — |
| lr parser | In computer science, LR parsers are a type of bottom-up parser that analyse deterministic context-free languages in linear time. |
| ski combinator calculus | a combinatory logic system and a computational system. |
| bottom-up parsing | In computer science, parsing reveals the grammatical structure of linear input text, as a first step in working out its meaning. |
| process specification language | a set of logic terms used to describe processes. |
| interpreter pattern | In computer programming, the interpreter pattern is a design pattern that specifies how to evaluate sentences in a language. |
| answer set programming | a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. |
| application logicnoun | (computing) The logic governing what a computer program is trying to accomplish; domain logic. |
| imperative programmingnoun | (programming) a programming paradigm that describes the computation in statements |
| control logic | — |
| sat solver | In computer science and formal methods, a SAT solver is a computer program which aims to solve the Boolean satisfiability problem. |
| type inferencenoun | (software) The automatic deduction of the type of an expression in a programming language. |
| bag-of-words model | The bag-of-words model (BoW) is a model of text which uses a representation of text that is based on an unordered collection (a "bag") of words. |
Translate “Sld resolution” into Another Language
Pick a language — the word will be pre-filled in the translator.