Pages that link to "Prolog"
From HandWiki
← Prolog
The following pages link to Prolog:
Displayed 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Answer set programming (← links)
- Indeterminacy in concurrent computation (← links)
- Common Logic (← links)
- SLD resolution (← links)
- Object Constraint Language (← links)
- International Standard Link Identifier (← links)
- PHIGS (← links)
- Less-than sign (← links)
- Cut (logic programming) (← links)
- O-ring (← links)
- ISO 15706-2 (← links)
- ArmSCII (← links)
- Common Language Infrastructure (← links)
- Well-founded semantics (← links)
- Production system (computer science) (← links)
- Common Criteria (← links)
- MPEG-21 (← links)
- CLP(R) (← links)
- Manufacturing Message Specification (← links)
- IS-IS (← links)
- ISO 13406-2 (← links)
- X.500 (← links)
- Common Object Request Broker Architecture (← links)
- International Standard Serial Number (← links)
- POSIX (← links)
- ISO 11940-2 (← links)
- Probabilistic programming (← links)
- Comparison of multi-paradigm programming languages (← links)
- Declarative programming (← links)
- Constraint programming (← links)
- Metaprogramming (← links)
- Exploratory programming (← links)
- Fold (higher-order function) (← links)
- Reification (computer science) (← links)
- Aspect-oriented programming (← links)
- Inferential programming (← links)
- Macro (computer science) (← links)
- Programming paradigm (← links)
- History of software engineering (← links)
- Higher-order programming (← links)
- Procedural programming (← links)
- Symbolic programming (← links)
- Model elimination (← links)
- Turing completeness (← links)
- First-order logic (← links)
- Comparison of programming paradigms (← links)
- Mutual recursion (← links)
- Cut-elimination theorem (← links)
- Snake case (← links)
- Nondeterministic programming (← links)
